そのぴちゅぴよLv.41は征服する
fact1: あのもいもやLv.58がしおらしくない一方で与え難いとしたらそのぴちゅぴよLv.41は弱々しい fact2: もし仮にあのもいもやLv.58が面目無くないならあのもいもやLv.58はしおらしくない一方で与え難い fact3: もしとあるモンスターは面目無いとしたら「それは弱々しくなくて征服する」ということは成り立たない fact4: あのもいもやLv.58はしおらしいということはない fact5: もしそのぴちゅぴよLv.41が弱々しいとするとそれは征服する fact6: あのもいもやLv.58は面目無くない
fact2 & fact6 -> int1: あのもいもやLv.58はしおらしくないが与え難い; int1 & fact1 -> int2: そのぴちゅぴよLv.41は弱々しい; int2 & fact5 -> hypothesis;
fact2 & fact6 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact1 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
そのぴちゅぴよLv.41は征服しない
fact7 -> int3: もしもそのぴちゅぴよLv.41は面目無いならば「そのぴちゅぴよLv.41は弱々しくないがそれは征服する」ということは間違っている;
$facts$ = fact1: あのもいもやLv.58がしおらしくない一方で与え難いとしたらそのぴちゅぴよLv.41は弱々しい fact2: もし仮にあのもいもやLv.58が面目無くないならあのもいもやLv.58はしおらしくない一方で与え難い fact3: もしとあるモンスターは面目無いとしたら「それは弱々しくなくて征服する」ということは成り立たない fact4: あのもいもやLv.58はしおらしいということはない fact5: もしそのぴちゅぴよLv.41が弱々しいとするとそれは征服する fact6: あのもいもやLv.58は面目無くない ; $hypothesis$ = そのぴちゅぴよLv.41は征服する ; $proof$ = 
fact2 & fact6 -> int1: あのもいもやLv.58はしおらしくないが与え難い; int1 & fact1 -> int2: そのぴちゅぴよLv.41は弱々しい; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact1 -> int2: {B}{b}; int2 & fact5 -> hypothesis; __PROVED__