そのみくみねLv.19は喜ばしいということはない
fact1: そのぷねぷよLv.84は埃っぽくない fact2: 仮に「このぽなぽにゅLv.16は喜ばしくないしその上歓喜しない」ということは誤りだとするとそのみくみねLv.19は喜ばしくない fact3: 回りくどいモンスターは埃っぽくない fact4: 仮になにがしかのモンスターは回りくどいとすると「安っぽくないかあるいは埃っぽいかもしくは両方である」ということは嘘である fact5: 仮にそのぷねぷよLv.84が回りくどいならばそのぷねぷよLv.84は埃っぽくない fact6: 「そのぷねぷよLv.84は喜ばしくないか埃っぽいかまたは両方ともだ」ということは事実と異なる fact7: そのぷねぷよLv.84は回りくどい fact8: もしも「「そのぷねぷよLv.84は安っぽくないかもしくは埃っぽいか両方ともである」ということは正しい」ということは偽ならばそのみくみねLv.19は喜ばしい
fact4 -> int1: 仮にそのぷねぷよLv.84は回りくどいとしたら「それは安っぽくないか埃っぽいかまたはどちらもだ」ということは成り立たない; int1 & fact7 -> int2: 「そのぷねぷよLv.84は安っぽいということはないかあるいは埃っぽい」ということは間違いだ; int2 & fact8 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int2 & fact8 -> hypothesis;
そのみくみねLv.19は喜ばしいということはない
$facts$ = fact1: そのぷねぷよLv.84は埃っぽくない fact2: 仮に「このぽなぽにゅLv.16は喜ばしくないしその上歓喜しない」ということは誤りだとするとそのみくみねLv.19は喜ばしくない fact3: 回りくどいモンスターは埃っぽくない fact4: 仮になにがしかのモンスターは回りくどいとすると「安っぽくないかあるいは埃っぽいかもしくは両方である」ということは嘘である fact5: 仮にそのぷねぷよLv.84が回りくどいならばそのぷねぷよLv.84は埃っぽくない fact6: 「そのぷねぷよLv.84は喜ばしくないか埃っぽいかまたは両方ともだ」ということは事実と異なる fact7: そのぷねぷよLv.84は回りくどい fact8: もしも「「そのぷねぷよLv.84は安っぽくないかもしくは埃っぽいか両方ともである」ということは正しい」ということは偽ならばそのみくみねLv.19は喜ばしい ; $hypothesis$ = そのみくみねLv.19は喜ばしいということはない ; $proof$ = 
fact4 -> int1: 仮にそのぷねぷよLv.84は回りくどいとしたら「それは安っぽくないか埃っぽいかまたはどちらもだ」ということは成り立たない; int1 & fact7 -> int2: 「そのぷねぷよLv.84は安っぽいということはないかあるいは埃っぽい」ということは間違いだ; int2 & fact8 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int2 & fact8 -> hypothesis; __DISPROVED__