そのまにゅまよLv.8は力強い
fact1: もしあのぽよぽにゃLv.98は赤くないならば「「あのぽよぽにゃLv.98は繰り上がらないし加えて狭いということはない」ということは成り立つ」ということは偽である fact2: もしもそのぽえぽちゃLv.43が忍び難いとすればそのまにゅまよLv.8は力強い fact3: そのぽえぽちゃLv.43は忍び難い fact4: もしそのぽえぽちゃLv.43が忍び難いということはないかそれが汚れ易くないとしたらそのまにゅまよLv.8は力強くない fact5: 「そのもねもよLv.52は赤くなくておまけに見難いということはない」ということは間違っているならあのぽよぽにゃLv.98は赤いということはない
fact3 -> int1: そのぽえぽちゃLv.43は忍び難い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
そのまにゅまよLv.8は力強くない
$facts$ = fact1: もしあのぽよぽにゃLv.98は赤くないならば「「あのぽよぽにゃLv.98は繰り上がらないし加えて狭いということはない」ということは成り立つ」ということは偽である fact2: もしもそのぽえぽちゃLv.43が忍び難いとすればそのまにゅまよLv.8は力強い fact3: そのぽえぽちゃLv.43は忍び難い fact4: もしそのぽえぽちゃLv.43が忍び難いということはないかそれが汚れ易くないとしたらそのまにゅまよLv.8は力強くない fact5: 「そのもねもよLv.52は赤くなくておまけに見難いということはない」ということは間違っているならあのぽよぽにゃLv.98は赤いということはない ; $hypothesis$ = そのまにゅまよLv.8は力強い ; $proof$ = 
fact3 -> int1: そのぽえぽちゃLv.43は忍び難い; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__