「あのまちゅまいLv.40は話し難いがしかし再送しない」ということは成り立つということはない
fact1: もしもこのぷにぷくLv.41は戻せるということはないとすれば「そのもわものLv.43は扱い易いということはなくておまけに聞き易いということはない」ということは誤っている fact2: もし仮に「何らかのモンスターは扱い易くなくてさらに聞き易くない」ということは間違いであるなら敬わない fact3: あのぽにゃぽなLv.87が話し難くないとするとこのぴよぴにゅLv.35は行い易いが六等分しない fact4: あのまちゅまいLv.40は見付け難くなくてそれに沈黙しない fact5: 見付け難くないモンスターであり沈黙しないモンスターは再送しない fact6: あのまちゅまいLv.40は話し難い fact7: 何らかのモンスターは敬わないなら「再送するしそれは選出する」ということは間違いである
fact5 -> int1: もしあのまちゅまいLv.40が見付け難くないしその上沈黙しないならあのまちゅまいLv.40は再送しない; int1 & fact4 -> int2: あのまちゅまいLv.40は再送しない; int2 & fact6 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact6 -> hypothesis;
このぴよぴにゅLv.35は行い易いが六等分しない
fact10 -> int3: そのもわものLv.43は敬うということはないとすると「それは再送するし選出する」ということは成り立たない; fact9 -> int4: もし「そのもわものLv.43は扱い易くないし聞き易くない」ということは確かでないならば敬うということはない;
$facts$ = fact1: もしもこのぷにぷくLv.41は戻せるということはないとすれば「そのもわものLv.43は扱い易いということはなくておまけに聞き易いということはない」ということは誤っている fact2: もし仮に「何らかのモンスターは扱い易くなくてさらに聞き易くない」ということは間違いであるなら敬わない fact3: あのぽにゃぽなLv.87が話し難くないとするとこのぴよぴにゅLv.35は行い易いが六等分しない fact4: あのまちゅまいLv.40は見付け難くなくてそれに沈黙しない fact5: 見付け難くないモンスターであり沈黙しないモンスターは再送しない fact6: あのまちゅまいLv.40は話し難い fact7: 何らかのモンスターは敬わないなら「再送するしそれは選出する」ということは間違いである ; $hypothesis$ = 「あのまちゅまいLv.40は話し難いがしかし再送しない」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: もしあのまちゅまいLv.40が見付け難くないしその上沈黙しないならあのまちゅまいLv.40は再送しない; int1 & fact4 -> int2: あのまちゅまいLv.40は再送しない; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact6 -> hypothesis; __DISPROVED__