以下のように仮定する。そのぽやぽのLv.18は長しけれど諭さない
fact1: もし仮にそのぽやぽのLv.18が長しがしかし諭さないならそれは抜け易くない fact2: もし仮にそのぽやぽのLv.18は長ししかつ諭すなら「そのぽやぽのLv.18は抜け易くない」ということは成り立つ fact3: そのぽやぽのLv.18は抜け易い fact4: 「そのぽやぽのLv.18は対立し合わない」ということは真実だとするとこのもゆもちゃLv.72は長しない fact5: 仮にあるモンスターは抜け易いけど手っ取り早くないとしたら「対立し合うということはない」ということは本当である fact6: 「そのぽやぽのLv.18は長ししかつ諭す」ということは間違いだ fact7: そのぽやぽのLv.18は諭すということはない
void -> assump1: 以下のように仮定する。そのぽやぽのLv.18は長しけれど諭さない; fact1 & assump1 -> int1: そのぽやぽのLv.18は抜け易くない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
「このもゆもちゃLv.72は長しない」ということは真実である
fact8 -> int3: もしもそのぽやぽのLv.18は抜け易い一方で手っ取り早くないとしたら対立し合わない;
$facts$ = fact1: もし仮にそのぽやぽのLv.18が長しがしかし諭さないならそれは抜け易くない fact2: もし仮にそのぽやぽのLv.18は長ししかつ諭すなら「そのぽやぽのLv.18は抜け易くない」ということは成り立つ fact3: そのぽやぽのLv.18は抜け易い fact4: 「そのぽやぽのLv.18は対立し合わない」ということは真実だとするとこのもゆもちゃLv.72は長しない fact5: 仮にあるモンスターは抜け易いけど手っ取り早くないとしたら「対立し合うということはない」ということは本当である fact6: 「そのぽやぽのLv.18は長ししかつ諭す」ということは間違いだ fact7: そのぽやぽのLv.18は諭すということはない ; $hypothesis$ = 以下のように仮定する。そのぽやぽのLv.18は長しけれど諭さない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽやぽのLv.18は長しけれど諭さない; fact1 & assump1 -> int1: そのぽやぽのLv.18は抜け易くない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__