「「もし仮に関わり合えば「嫌味っぽいということはなくて更に汚れ難い」ということは事実でない」モンスターはいる」ということは嘘である
fact1: 仮になにがしかのモンスターは関わり合うとしたら「それは嫌味っぽくないけど汚れ難い」ということは嘘である
fact1 -> int1: そのぷにゅぷにゅLv.64は関わり合うとすると「それは嫌味っぽくないがしかし汚れ難い」ということは間違っている; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 仮になにがしかのモンスターは関わり合うとしたら「それは嫌味っぽくないけど汚れ難い」ということは嘘である ; $hypothesis$ = 「「もし仮に関わり合えば「嫌味っぽいということはなくて更に汚れ難い」ということは事実でない」モンスターはいる」ということは嘘である ; $proof$ = 
fact1 -> int1: そのぷにゅぷにゅLv.64は関わり合うとすると「それは嫌味っぽくないがしかし汚れ難い」ということは間違っている; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__