そのぷのぷやLv.84は出し難くてそれに起こり難い
fact1: 仮になんらかのモンスターは退らないとすると「出し難いししかも起こり難い」ということは成り立つということはない fact2: もしも「そのぴよぴよLv.7は疎ましい一方でそれは実現し易くない」ということは誤っているとしたらそのぷのぷやLv.84は出し難い fact3: そのぷのぷやLv.84は起こり難い fact4: 「あのもやもちゅLv.53は燃え易い一方で実現し易くない」ということは成り立たない fact5: もしもそのぴよぴよLv.7は退らないとしたら「それは疎ましいしさらにそれは実現し易くない」ということは誤っている fact6: 仮にそのぴよぴよLv.7が疎ましくないとすればそのぷのぷやLv.84は出し難い fact7: 「そのぴよぴよLv.7は退らない」ということは確かだ
fact5 & fact7 -> int1: 「そのぴよぴよLv.7は疎ましいが実現し易くない」ということは間違っている; int1 & fact2 -> int2: 「そのぷのぷやLv.84は出し難い」ということは確かである; int2 & fact3 -> hypothesis;
fact5 & fact7 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact3 -> hypothesis;
「そのぷのぷやLv.84は出し難いしさらに起こり難い」ということは成り立たない
fact8 -> int3: もし「そのぷのぷやLv.84は退らない」ということは確かであるなら「そのぷのぷやLv.84は出し難くておまけにそれは起こり難い」ということは成り立つということはない;
$facts$ = fact1: 仮になんらかのモンスターは退らないとすると「出し難いししかも起こり難い」ということは成り立つということはない fact2: もしも「そのぴよぴよLv.7は疎ましい一方でそれは実現し易くない」ということは誤っているとしたらそのぷのぷやLv.84は出し難い fact3: そのぷのぷやLv.84は起こり難い fact4: 「あのもやもちゅLv.53は燃え易い一方で実現し易くない」ということは成り立たない fact5: もしもそのぴよぴよLv.7は退らないとしたら「それは疎ましいしさらにそれは実現し易くない」ということは誤っている fact6: 仮にそのぴよぴよLv.7が疎ましくないとすればそのぷのぷやLv.84は出し難い fact7: 「そのぴよぴよLv.7は退らない」ということは確かだ ; $hypothesis$ = そのぷのぷやLv.84は出し難くてそれに起こり難い ; $proof$ = 
fact5 & fact7 -> int1: 「そのぴよぴよLv.7は疎ましいが実現し易くない」ということは間違っている; int1 & fact2 -> int2: 「そのぷのぷやLv.84は出し難い」ということは確かである; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact3 -> hypothesis; __PROVED__