あのもちょもちょLv.26は水っぽくない
fact1: あのぽねぽにLv.89は会話らしくない fact2: もしあのみえみよLv.76が会話らしいとすればそのまちゃまにゃLv.20は座乗しない fact3: あるモンスターが会話らしくないならば水っぽい fact4: 仮に「あのもちょもちょLv.26は白くない」ということは成り立つとすればそれは水っぽい fact5: あのもちょもちょLv.26は会話らしくない fact6: 仮にあるモンスターは駆け始めないとすると「それは白くないかまたは後らしいかまたは両方である」ということは事実と異ならない fact7: 白くないかあるいは後らしいモンスターは会話らしい
fact3 -> int1: 仮に「あのもちょもちょLv.26は会話らしくない」ということは確かならあのもちょもちょLv.26は水っぽい; int1 & fact5 -> hypothesis;
fact3 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact5 -> hypothesis;
あのもちょもちょLv.26は水っぽくない
fact8 -> int2: もしもあのみえみよLv.76が白くないかあるいは後らしいか両方だとすれば「あのみえみよLv.76は会話らしい」ということは成り立つ; fact9 -> int3: 仮にあのみえみよLv.76が駆け始めないとすると白くないかもしくは後らしい;
$facts$ = fact1: あのぽねぽにLv.89は会話らしくない fact2: もしあのみえみよLv.76が会話らしいとすればそのまちゃまにゃLv.20は座乗しない fact3: あるモンスターが会話らしくないならば水っぽい fact4: 仮に「あのもちょもちょLv.26は白くない」ということは成り立つとすればそれは水っぽい fact5: あのもちょもちょLv.26は会話らしくない fact6: 仮にあるモンスターは駆け始めないとすると「それは白くないかまたは後らしいかまたは両方である」ということは事実と異ならない fact7: 白くないかあるいは後らしいモンスターは会話らしい ; $hypothesis$ = あのもちょもちょLv.26は水っぽくない ; $proof$ = 
fact3 -> int1: 仮に「あのもちょもちょLv.26は会話らしくない」ということは確かならあのもちょもちょLv.26は水っぽい; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact5 -> hypothesis; __DISPROVED__