このぷなぷなLv.84は想定し難い
fact1: もし仮にあるモンスターは想定し難くないとすると「それはし辛くなくておまけにそれは脱稿する」ということは成り立たない fact2: もしもこのもにもわLv.37が飽きっぽくないならばあのもくもよLv.82が物凄いしその上見ゆ fact3: このぷなぷなLv.84はし辛くないしそれに脱稿しない fact4: もし何らかのモンスターが見ゆということはないとすると想定し難くないしさらに滅菌しない fact5: 「このぷなぷなLv.84はし辛くない一方で脱稿する」ということは誤りである fact6: もし仮になんらかのモンスターは想定し難くないなら「それはし辛くなくておまけに脱稿するということはない」ということは事実と異なる fact7: 飽きっぽくないし呆気なくないモンスターはいる
fact6 -> int1: 「もしこのぷなぷなLv.84は想定し難くないならば「「このぷなぷなLv.84はし辛くないしそれに脱稿しない」ということは間違いである」ということは成り立つ」ということは本当である; void -> assump1: 以下のように仮定する。このぷなぷなLv.84は想定し難くない; int1 & assump1 -> int2: 「このぷなぷなLv.84はし辛いということはないしかつ脱稿しない」ということは事実と異なる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷなぷなLv.84は想定し難くない
fact8 -> int4: もし「あのもなもよLv.90は見ゆない」ということは成り立てば想定し難いということはないしまた滅菌しない;
$facts$ = fact1: もし仮にあるモンスターは想定し難くないとすると「それはし辛くなくておまけにそれは脱稿する」ということは成り立たない fact2: もしもこのもにもわLv.37が飽きっぽくないならばあのもくもよLv.82が物凄いしその上見ゆ fact3: このぷなぷなLv.84はし辛くないしそれに脱稿しない fact4: もし何らかのモンスターが見ゆということはないとすると想定し難くないしさらに滅菌しない fact5: 「このぷなぷなLv.84はし辛くない一方で脱稿する」ということは誤りである fact6: もし仮になんらかのモンスターは想定し難くないなら「それはし辛くなくておまけに脱稿するということはない」ということは事実と異なる fact7: 飽きっぽくないし呆気なくないモンスターはいる ; $hypothesis$ = このぷなぷなLv.84は想定し難い ; $proof$ = 
fact6 -> int1: 「もしこのぷなぷなLv.84は想定し難くないならば「「このぷなぷなLv.84はし辛くないしそれに脱稿しない」ということは間違いである」ということは成り立つ」ということは本当である; void -> assump1: 以下のように仮定する。このぷなぷなLv.84は想定し難くない; int1 & assump1 -> int2: 「このぷなぷなLv.84はし辛いということはないしかつ脱稿しない」ということは事実と異なる; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__