直観主義論理で判定してくれるbot