そのぽちゃぽちゃLv.94は赤しということはない
fact1: もし仮にこのぽくぽにゃLv.2は転び易くないなら「参加し易くておまけに毛深い」ということは間違いである fact2: もしもこのぽくぽにゃLv.2が毛深いとしたらこのぽくぽにゃLv.2は参加し易い fact3: あのもにゅもゆLv.19が漏れ易いならそのぽちゃぽちゃLv.94は根強い fact4: あのもにゅもゆLv.19は赤し fact5: 毛深いし参加し易くないモンスターは赤しない fact6: このぽくぽにゃLv.2は参加し易いとしたら「そのみちゅみちょLv.82は転び易い」ということは真実だ fact7: このぽくぽにゃLv.2は毛深い fact8: もし「そのぽちゃぽちゃLv.94は根強い」ということは正しいとしたらそのぽちゃぽちゃLv.94は赤し fact9: もしもそのみちゅみちょLv.82が転び易いならあのもにゅもゆLv.19は漏れ易い
fact2 & fact7 -> int1: 「このぽくぽにゃLv.2は参加し易い」ということは正しい; int1 & fact6 -> int2: そのみちゅみちょLv.82は転び易い; int2 & fact9 -> int3: あのもにゅもゆLv.19は漏れ易い; int3 & fact3 -> int4: そのぽちゃぽちゃLv.94は根強い; int4 & fact8 -> hypothesis;
fact2 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact9 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact8 -> hypothesis;
そのぽちゃぽちゃLv.94は赤しということはない
fact10 -> int5: もしそのぽちゃぽちゃLv.94が毛深いけれど参加し易いということはないならば赤しない;
$facts$ = fact1: もし仮にこのぽくぽにゃLv.2は転び易くないなら「参加し易くておまけに毛深い」ということは間違いである fact2: もしもこのぽくぽにゃLv.2が毛深いとしたらこのぽくぽにゃLv.2は参加し易い fact3: あのもにゅもゆLv.19が漏れ易いならそのぽちゃぽちゃLv.94は根強い fact4: あのもにゅもゆLv.19は赤し fact5: 毛深いし参加し易くないモンスターは赤しない fact6: このぽくぽにゃLv.2は参加し易いとしたら「そのみちゅみちょLv.82は転び易い」ということは真実だ fact7: このぽくぽにゃLv.2は毛深い fact8: もし「そのぽちゃぽちゃLv.94は根強い」ということは正しいとしたらそのぽちゃぽちゃLv.94は赤し fact9: もしもそのみちゅみちょLv.82が転び易いならあのもにゅもゆLv.19は漏れ易い ; $hypothesis$ = そのぽちゃぽちゃLv.94は赤しということはない ; $proof$ = 
fact2 & fact7 -> int1: 「このぽくぽにゃLv.2は参加し易い」ということは正しい; int1 & fact6 -> int2: そのみちゅみちょLv.82は転び易い; int2 & fact9 -> int3: あのもにゅもゆLv.19は漏れ易い; int3 & fact3 -> int4: そのぽちゃぽちゃLv.94は根強い; int4 & fact8 -> hypothesis; __DISPROVED__
fact2 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact9 -> int3: {D}{c}; int3 & fact3 -> int4: {E}{d}; int4 & fact8 -> hypothesis; __DISPROVED__