あのまいまにLv.83は根強い
fact1: もしもあのまいまにLv.83が長しないかまたは小さいならばそのぷにょぷのLv.27は根強い fact2: そのぷにょぷのLv.27は小さい fact3: 根強いモンスターは仕舞い易いということはないかまたは長しか両方ともだ fact4: 「小さいモンスターは仕舞い易いということはないか長しかまたは両方だ」ということは正しい fact5: 全てのモンスターは瑞々しいかあるいはそれは脂っぽくない fact6: もし「あのまいまにLv.83は長し」ということは本当であるとすれば仕舞い易くないかあるいは根強いかもしくはどちらもである fact7: そのぷにょぷのLv.27が仕舞い易くないかまたは長しならあのまいまにLv.83は根強い fact8: もしなんらかのモンスターはごっつかないとしたら「それは根強いししかも小さい」ということは正しくない
fact4 -> int1: 仮にそのぷにょぷのLv.27が小さいなら仕舞い易いということはないかあるいは長しかあるいは両方ともだ; int1 & fact2 -> int2: そのぷにょぷのLv.27は仕舞い易いということはないかもしくはそれは長しかあるいは両方だ; int2 & fact7 -> hypothesis;
fact4 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact7 -> hypothesis;
あのまいまにLv.83は根強いということはない
fact9 -> int3: もしもそのぴのぴにゃLv.9はごっつかないとしたら「「根強いししかもそれは小さい」ということは本当だ」ということは成り立たない; fact10 -> int4: そのぴのぴにゃLv.9は瑞々しいかあるいはそれは脂っぽくない;
$facts$ = fact1: もしもあのまいまにLv.83が長しないかまたは小さいならばそのぷにょぷのLv.27は根強い fact2: そのぷにょぷのLv.27は小さい fact3: 根強いモンスターは仕舞い易いということはないかまたは長しか両方ともだ fact4: 「小さいモンスターは仕舞い易いということはないか長しかまたは両方だ」ということは正しい fact5: 全てのモンスターは瑞々しいかあるいはそれは脂っぽくない fact6: もし「あのまいまにLv.83は長し」ということは本当であるとすれば仕舞い易くないかあるいは根強いかもしくはどちらもである fact7: そのぷにょぷのLv.27が仕舞い易くないかまたは長しならあのまいまにLv.83は根強い fact8: もしなんらかのモンスターはごっつかないとしたら「それは根強いししかも小さい」ということは正しくない ; $hypothesis$ = あのまいまにLv.83は根強い ; $proof$ = 
fact4 -> int1: 仮にそのぷにょぷのLv.27が小さいなら仕舞い易いということはないかあるいは長しかあるいは両方ともだ; int1 & fact2 -> int2: そのぷにょぷのLv.27は仕舞い易いということはないかもしくはそれは長しかあるいは両方だ; int2 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact7 -> hypothesis; __PROVED__