「このまにゅまえLv.64は避け難い」ということは事実だ
fact1: もし仮にあるモンスターは表現し難いということはないとすると「しつこくないかまたは瑞々しくない」ということは間違っている fact2: もし「このまにゅまえLv.64はしつこくないかまたは瑞々しくないかもしくは両方ともである」ということは誤りならこのまにゅまえLv.64は避け難くない fact3: もし仮にそのもちょもくLv.87が吝くて遣り辛いならこのもちょもくLv.13は遣り辛くない fact4: もしこのもちょもくLv.13は遣り辛いということはないとすると「このもちょもくLv.13は連想し易くて加えてそれは生成し易い」ということは正しい fact5: このまにゅまえLv.64は表現し難くない
fact1 -> int1: このまにゅまえLv.64は表現し難いということはないとすれば「「それはしつこくないかまたはそれは瑞々しいということはないかまたは両方ともだ」ということは偽でない」ということは成り立たない; int1 & fact5 -> int2: 「このまにゅまえLv.64はしつこくないかあるいは瑞々しくないかもしくは両方ともである」ということは誤っている; int2 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact5 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> hypothesis;
そのぷゆぷなLv.97は表現し難くない
$facts$ = fact1: もし仮にあるモンスターは表現し難いということはないとすると「しつこくないかまたは瑞々しくない」ということは間違っている fact2: もし「このまにゅまえLv.64はしつこくないかまたは瑞々しくないかもしくは両方ともである」ということは誤りならこのまにゅまえLv.64は避け難くない fact3: もし仮にそのもちょもくLv.87が吝くて遣り辛いならこのもちょもくLv.13は遣り辛くない fact4: もしこのもちょもくLv.13は遣り辛いということはないとすると「このもちょもくLv.13は連想し易くて加えてそれは生成し易い」ということは正しい fact5: このまにゅまえLv.64は表現し難くない ; $hypothesis$ = 「このまにゅまえLv.64は避け難い」ということは事実だ ; $proof$ = 
fact1 -> int1: このまにゅまえLv.64は表現し難いということはないとすれば「「それはしつこくないかまたはそれは瑞々しいということはないかまたは両方ともだ」ということは偽でない」ということは成り立たない; int1 & fact5 -> int2: 「このまにゅまえLv.64はしつこくないかあるいは瑞々しくないかもしくは両方ともである」ということは誤っている; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact5 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> hypothesis; __DISPROVED__