「あのぷいぷえLv.81は黄色っぽいがそれは細か過ぎるということはない」ということは正しくない
fact1: もしあのぷいぷえLv.81は焼き難くないが居るなら細か過ぎない fact2: あのぽちょぽにゃLv.66は焼き難い fact3: もし仮にあのぷいぷえLv.81が口喧しくないとしたらそのまにまにょLv.40は黄色っぽいけれど騒々しいということはない fact4: あのぷいぷえLv.81は口喧しい fact5: もしあのぷいぷえLv.81が細か過ぎるということはないならば黄色っぽいししかも細か過ぎない fact6: 口喧しいモンスターは焼き難くないが居る
fact6 -> int1: もしあのぷいぷえLv.81が口喧しいならばあのぷいぷえLv.81は焼き難くない一方で居る; int1 & fact4 -> int2: あのぷいぷえLv.81は焼き難くないけれど居る; int2 & fact1 -> int3: あのぷいぷえLv.81は細か過ぎない; int3 & fact5 -> hypothesis;
fact6 -> int1: {A}{a} -> (¬{AA}{a} & {AB}{a}); int1 & fact4 -> int2: (¬{AA}{a} & {AB}{a}); int2 & fact1 -> int3: ¬{B}{a}; int3 & fact5 -> hypothesis;
そのまにまにょLv.40は黄色っぽいけれど騒々しくない
$facts$ = fact1: もしあのぷいぷえLv.81は焼き難くないが居るなら細か過ぎない fact2: あのぽちょぽにゃLv.66は焼き難い fact3: もし仮にあのぷいぷえLv.81が口喧しくないとしたらそのまにまにょLv.40は黄色っぽいけれど騒々しいということはない fact4: あのぷいぷえLv.81は口喧しい fact5: もしあのぷいぷえLv.81が細か過ぎるということはないならば黄色っぽいししかも細か過ぎない fact6: 口喧しいモンスターは焼き難くないが居る ; $hypothesis$ = 「あのぷいぷえLv.81は黄色っぽいがそれは細か過ぎるということはない」ということは正しくない ; $proof$ = 
fact6 -> int1: もしあのぷいぷえLv.81が口喧しいならばあのぷいぷえLv.81は焼き難くない一方で居る; int1 & fact4 -> int2: あのぷいぷえLv.81は焼き難くないけれど居る; int2 & fact1 -> int3: あのぷいぷえLv.81は細か過ぎない; int3 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a} -> (¬{AA}{a} & {AB}{a}); int1 & fact4 -> int2: (¬{AA}{a} & {AB}{a}); int2 & fact1 -> int3: ¬{B}{a}; int3 & fact5 -> hypothesis; __DISPROVED__