そのぷなぷにゃLv.10は確認し難くない
fact1: だだっ広いモンスターは色っぽい fact2: そのぷわぷにゃLv.40はだだっ広い fact3: そのぷなぷにゃLv.10は早しが確認し難くないならそれはだだっ広くない fact4: 仮にそのぷわぷにゃLv.40が色っぽい一方で吹き捲らないならばそのぷなぷにゃLv.10は確認し難くない fact5: このもやもえLv.54は色っぽくない fact6: そのぷわぷにゃLv.40は色っぽい fact7: だだっ広いモンスターは色っぽい一方で吹き捲らない fact8: そのぷわぷにゃLv.40は冗談っぽい
fact7 -> int1: もし仮にそのぷわぷにゃLv.40がだだっ広いとしたらそれは色っぽい一方で吹き捲らない; int1 & fact2 -> int2: そのぷわぷにゃLv.40は色っぽいけどそれは吹き捲らない; int2 & fact4 -> hypothesis;
fact7 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis;
そのもちょもいLv.36は色っぽい
$facts$ = fact1: だだっ広いモンスターは色っぽい fact2: そのぷわぷにゃLv.40はだだっ広い fact3: そのぷなぷにゃLv.10は早しが確認し難くないならそれはだだっ広くない fact4: 仮にそのぷわぷにゃLv.40が色っぽい一方で吹き捲らないならばそのぷなぷにゃLv.10は確認し難くない fact5: このもやもえLv.54は色っぽくない fact6: そのぷわぷにゃLv.40は色っぽい fact7: だだっ広いモンスターは色っぽい一方で吹き捲らない fact8: そのぷわぷにゃLv.40は冗談っぽい ; $hypothesis$ = そのぷなぷにゃLv.10は確認し難くない ; $proof$ = 
fact7 -> int1: もし仮にそのぷわぷにゃLv.40がだだっ広いとしたらそれは色っぽい一方で吹き捲らない; int1 & fact2 -> int2: そのぷわぷにゃLv.40は色っぽいけどそれは吹き捲らない; int2 & fact4 -> hypothesis; __PROVED__
fact7 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis; __PROVED__