「このぷにゃぷちゃLv.8は細長いけどそれは感染し易くない」ということは間違いである
fact1: そのぽくぽにょLv.31は御忙しいしそれに招き易い fact2: そのぴくぴちゃLv.45は細長いし瑞々しい fact3: あのぴなぴにLv.40は尋ね返すしそれは戻り易い fact4: このぷにゃぷちゃLv.8が細長いとしたらそれは御忙しい fact5: もしも「そのぽくぽにょLv.31は羨ましいし更に探し易い」ということは本当ならこのぽちょぽわLv.40は細長くない fact6: もしそのぽくぽにょLv.31が御忙しいとしたらそのぽくぽにょLv.31は探し易い fact7: このぽちょぽわLv.40は細長くないなら「このぷにゃぷちゃLv.8は細長いけど感染し易くない」ということは成り立たない fact8: そのぽくぽにょLv.31は羨ましい
fact1 -> int1: 「そのぽくぽにょLv.31は御忙しい」ということは正しい; int1 & fact6 -> int2: そのぽくぽにょLv.31は探し易い; int2 & fact8 -> int3: そのぽくぽにょLv.31は羨ましくて更に探し易い; int3 & fact5 -> int4: このぽちょぽわLv.40は細長くない; int4 & fact7 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact8 -> int3: ({D}{a} & {C}{a}); int3 & fact5 -> int4: ¬{E}{b}; int4 & fact7 -> hypothesis;
$facts$ = fact1: そのぽくぽにょLv.31は御忙しいしそれに招き易い fact2: そのぴくぴちゃLv.45は細長いし瑞々しい fact3: あのぴなぴにLv.40は尋ね返すしそれは戻り易い fact4: このぷにゃぷちゃLv.8が細長いとしたらそれは御忙しい fact5: もしも「そのぽくぽにょLv.31は羨ましいし更に探し易い」ということは本当ならこのぽちょぽわLv.40は細長くない fact6: もしそのぽくぽにょLv.31が御忙しいとしたらそのぽくぽにょLv.31は探し易い fact7: このぽちょぽわLv.40は細長くないなら「このぷにゃぷちゃLv.8は細長いけど感染し易くない」ということは成り立たない fact8: そのぽくぽにょLv.31は羨ましい ; $hypothesis$ = 「このぷにゃぷちゃLv.8は細長いけどそれは感染し易くない」ということは間違いである ; $proof$ = 
fact1 -> int1: 「そのぽくぽにょLv.31は御忙しい」ということは正しい; int1 & fact6 -> int2: そのぽくぽにょLv.31は探し易い; int2 & fact8 -> int3: そのぽくぽにょLv.31は羨ましくて更に探し易い; int3 & fact5 -> int4: このぽちょぽわLv.40は細長くない; int4 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact8 -> int3: ({D}{a} & {C}{a}); int3 & fact5 -> int4: ¬{E}{b}; int4 & fact7 -> hypothesis; __PROVED__