このまいまゆLv.78は見境無くない
fact1: そのもよもにLv.47が解け易いならばこのもえもねLv.18は赤黒い fact2: 「そのもよもにLv.47はしつこくない」ということは確かである fact3: もし仮に「なんらかのモンスターは赤黒くないかまたはそれはしつこいかもしくはどちらもだ」ということは成り立たないならそれは見境無くない fact4: 仮になにがしかのモンスターはしつこくないなら「「それは解け易くないし加えて読み難くない」ということは嘘でない」ということは誤っている fact5: 「このぽのぽなLv.25は発揮し難いがしかし読み難くない」ということは偽である fact6: 仮に「そのもよもにLv.47は解け易くないしさらにそれは読み難くない」ということは間違いだとすればこのもえもねLv.18は赤黒い fact7: もし仮にこのぽのぽなLv.25が発揮し難いとしたらこのまいまゆLv.78は見境無い fact8: もしそのもよもにLv.47は解け易くないとしたら「そのもよもにLv.47は読み難いモンスターであって発揮し難くない」ということは嘘である fact9: このもえもねLv.18が赤黒いならばこのぽのぽなLv.25は発揮し難い
fact4 -> int1: そのもよもにLv.47はしつこいということはないとすると「解け易くないしさらに読み難くない」ということは誤っている; int1 & fact2 -> int2: 「そのもよもにLv.47は解け易くないし加えてそれは読み難くない」ということは正しくない; int2 & fact6 -> int3: このもえもねLv.18は赤黒い; int3 & fact9 -> int4: このぽのぽなLv.25は発揮し難い; int4 & fact7 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> int3: {B}{a}; int3 & fact9 -> int4: {C}{b}; int4 & fact7 -> hypothesis;
このまいまゆLv.78は見境無くない
fact10 -> int5: 仮に「このまいまゆLv.78は赤黒くないかまたはしつこいか両方である」ということは誤りだとしたらこのまいまゆLv.78は見境無くない;
$facts$ = fact1: そのもよもにLv.47が解け易いならばこのもえもねLv.18は赤黒い fact2: 「そのもよもにLv.47はしつこくない」ということは確かである fact3: もし仮に「なんらかのモンスターは赤黒くないかまたはそれはしつこいかもしくはどちらもだ」ということは成り立たないならそれは見境無くない fact4: 仮になにがしかのモンスターはしつこくないなら「「それは解け易くないし加えて読み難くない」ということは嘘でない」ということは誤っている fact5: 「このぽのぽなLv.25は発揮し難いがしかし読み難くない」ということは偽である fact6: 仮に「そのもよもにLv.47は解け易くないしさらにそれは読み難くない」ということは間違いだとすればこのもえもねLv.18は赤黒い fact7: もし仮にこのぽのぽなLv.25が発揮し難いとしたらこのまいまゆLv.78は見境無い fact8: もしそのもよもにLv.47は解け易くないとしたら「そのもよもにLv.47は読み難いモンスターであって発揮し難くない」ということは嘘である fact9: このもえもねLv.18が赤黒いならばこのぽのぽなLv.25は発揮し難い ; $hypothesis$ = このまいまゆLv.78は見境無くない ; $proof$ = 
fact4 -> int1: そのもよもにLv.47はしつこいということはないとすると「解け易くないしさらに読み難くない」ということは誤っている; int1 & fact2 -> int2: 「そのもよもにLv.47は解け易くないし加えてそれは読み難くない」ということは正しくない; int2 & fact6 -> int3: このもえもねLv.18は赤黒い; int3 & fact9 -> int4: このぽのぽなLv.25は発揮し難い; int4 & fact7 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> int3: {B}{a}; int3 & fact9 -> int4: {C}{b}; int4 & fact7 -> hypothesis; __DISPROVED__