あのぴよぴえLv.85は大差無くない
fact1: もし「そのぷなぷなLv.70は心細くないかそれは染み込み易くないかどちらもだ」ということは間違っているとしたらあのぴよぴえLv.85は大差無い fact2: あのぴよぴえLv.85は決する fact3: もしあるモンスターは決するなら「心細くないかもしくはそれは染み込み易くない」ということは成り立たない fact4: そのぷなぷなLv.70は決する fact5: もしなんらかのモンスターが離れ難くないとするとそれは決しないかもしくはそれは従事する fact6: もし仮に「そのぷなぷなLv.70は心細いということはないか染み込み易いかまたは両方ともである」ということは偽であるならあのぴよぴえLv.85は大差無い fact7: もしもなにがしかのモンスターが従事しないなら決するしそれにそれは大差無い
fact3 -> int1: そのぷなぷなLv.70は決するとすると「それは心細くないかまたは染み込み易くない」ということは間違っている; int1 & fact4 -> int2: 「そのぷなぷなLv.70は心細くないかあるいは染み込み易くないかまたは両方だ」ということは間違いである; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact1 -> hypothesis;
あのぴよぴえLv.85は大差無くない
fact8 -> int3: もし仮にそのもくもにLv.24が離れ難いということはないとしたらそのもくもにLv.24は決しないかあるいはそれは従事するかまたはどちらもだ;
$facts$ = fact1: もし「そのぷなぷなLv.70は心細くないかそれは染み込み易くないかどちらもだ」ということは間違っているとしたらあのぴよぴえLv.85は大差無い fact2: あのぴよぴえLv.85は決する fact3: もしあるモンスターは決するなら「心細くないかもしくはそれは染み込み易くない」ということは成り立たない fact4: そのぷなぷなLv.70は決する fact5: もしなんらかのモンスターが離れ難くないとするとそれは決しないかもしくはそれは従事する fact6: もし仮に「そのぷなぷなLv.70は心細いということはないか染み込み易いかまたは両方ともである」ということは偽であるならあのぴよぴえLv.85は大差無い fact7: もしもなにがしかのモンスターが従事しないなら決するしそれにそれは大差無い ; $hypothesis$ = あのぴよぴえLv.85は大差無くない ; $proof$ = 
fact3 -> int1: そのぷなぷなLv.70は決するとすると「それは心細くないかまたは染み込み易くない」ということは間違っている; int1 & fact4 -> int2: 「そのぷなぷなLv.70は心細くないかあるいは染み込み易くないかまたは両方だ」ということは間違いである; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact1 -> hypothesis; __DISPROVED__