「「そのぴちょぴにょLv.64は嫌味っぽくなくてかつ黄色くない」ということは成り立たない」ということは事実である
fact1: 使い易いモンスターは嫌味っぽくないしさらに黄色くない fact2: そのぴちょぴにょLv.64は使い易い fact3: もし仮にあるモンスターが血腥いならばそれは入れ難くない
fact1 -> int1: そのぴちょぴにょLv.64が使い易いならばそれは嫌味っぽくないしまたそれは黄色くない; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 使い易いモンスターは嫌味っぽくないしさらに黄色くない fact2: そのぴちょぴにょLv.64は使い易い fact3: もし仮にあるモンスターが血腥いならばそれは入れ難くない ; $hypothesis$ = 「「そのぴちょぴにょLv.64は嫌味っぽくなくてかつ黄色くない」ということは成り立たない」ということは事実である ; $proof$ = 
fact1 -> int1: そのぴちょぴにょLv.64が使い易いならばそれは嫌味っぽくないしまたそれは黄色くない; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis; __DISPROVED__