「「もしも臭いなら「どす黒いがしかし誤り無くない」ということは正しくない」モンスターはいる」ということは誤りだ
fact1: もし仮にこのぽゆぽちゃLv.86は臭いとすると「このぽゆぽちゃLv.86はどす黒くてまた誤り無い」ということは成り立たない fact2: もしもあるモンスターは臭いとすれば「それはどす黒い一方で誤り無くない」ということは成り立たない fact3: もしも「なにがしかのモンスターは臭い」ということは正しいとしたら「どす黒いし誤り無い」ということは誤っている
fact2 -> int1: もしこのぽゆぽちゃLv.86は臭いとしたら「このぽゆぽちゃLv.86はどす黒いがしかしそれは誤り無くない」ということは間違いである; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮にこのぽゆぽちゃLv.86は臭いとすると「このぽゆぽちゃLv.86はどす黒くてまた誤り無い」ということは成り立たない fact2: もしもあるモンスターは臭いとすれば「それはどす黒い一方で誤り無くない」ということは成り立たない fact3: もしも「なにがしかのモンスターは臭い」ということは正しいとしたら「どす黒いし誤り無い」ということは誤っている ; $hypothesis$ = 「「もしも臭いなら「どす黒いがしかし誤り無くない」ということは正しくない」モンスターはいる」ということは誤りだ ; $proof$ = 
fact2 -> int1: もしこのぽゆぽちゃLv.86は臭いとしたら「このぽゆぽちゃLv.86はどす黒いがしかしそれは誤り無くない」ということは間違いである; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__