「このもちゃもよLv.60は御存じ無くないけれど出入りし易い」ということは間違いだ
fact1: このもちゃもよLv.60は御存じ無くないがそれは目敏い fact2: あのぴいぴゆLv.1は色っぽい fact3: 「あのぴいぴゆLv.1は色っぽくない」ということは真実ならば御存じ無くない fact4: もし仮にこのもちゃもよLv.60が未練がましくないならばそれは御存じ無くなくて更に出入りし易い fact5: もし仮に「このもちゃもよLv.60は泳がない一方で就業出来る」ということは本当でないならそれは未練がましくない fact6: もしもこのもちゃもよLv.60は未練がましいとしたら「あのぴいぴゆLv.1は就業出来るということはないけど色っぽい」ということは誤りである fact7: もしあのぴいぴゆLv.1は色っぽいとすれば「このもちゃもよLv.60は泳がないがそれは就業出来る」ということは嘘である
fact7 & fact2 -> int1: 「このもちゃもよLv.60は泳ぐということはない一方でそれは就業出来る」ということは本当でない; int1 & fact5 -> int2: このもちゃもよLv.60は未練がましくない; int2 & fact4 -> hypothesis;
fact7 & fact2 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このもちゃもよLv.60は御存じ無くないがそれは目敏い fact2: あのぴいぴゆLv.1は色っぽい fact3: 「あのぴいぴゆLv.1は色っぽくない」ということは真実ならば御存じ無くない fact4: もし仮にこのもちゃもよLv.60が未練がましくないならばそれは御存じ無くなくて更に出入りし易い fact5: もし仮に「このもちゃもよLv.60は泳がない一方で就業出来る」ということは本当でないならそれは未練がましくない fact6: もしもこのもちゃもよLv.60は未練がましいとしたら「あのぴいぴゆLv.1は就業出来るということはないけど色っぽい」ということは誤りである fact7: もしあのぴいぴゆLv.1は色っぽいとすれば「このもちゃもよLv.60は泳がないがそれは就業出来る」ということは嘘である ; $hypothesis$ = 「このもちゃもよLv.60は御存じ無くないけれど出入りし易い」ということは間違いだ ; $proof$ = 
fact7 & fact2 -> int1: 「このもちゃもよLv.60は泳ぐということはない一方でそれは就業出来る」ということは本当でない; int1 & fact5 -> int2: このもちゃもよLv.60は未練がましくない; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact2 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact4 -> hypothesis; __DISPROVED__