「「相談し易くないし捕まらないならば粉っぽくない」モンスターはいる」ということは成り立たない
fact1: 「もし「相談し易いけど捕まらない」ということは真実だとすれば粉っぽくない」モンスターはいる fact2: もしもこのぴゆぴゆLv.56は相談し易いということはなくて更に捕まらないなら「粉っぽい」ということは正しい fact3: もしこのぴゆぴゆLv.56が相談し易くないがそれは捕まるとすると「それは粉っぽくない」ということは確かだ fact4: もし仮に疑い深くないモンスターが行き難くないなら深くない fact5: もし相談し易くないモンスターが捕まるということはないならばそれは粉っぽくない
fact5 -> int1: 「もしも「このぴゆぴゆLv.56は相談し易くなくておまけに捕まらない」ということは間違いだということはないとすればこのぴゆぴゆLv.56は粉っぽくない」ということは成り立つ; int1 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
あのもなもやLv.56が疑い深くないしそれに行き難いということはないとしたらあのもなもやLv.56は深くない
fact6 -> hypothesis;
$facts$ = fact1: 「もし「相談し易いけど捕まらない」ということは真実だとすれば粉っぽくない」モンスターはいる fact2: もしもこのぴゆぴゆLv.56は相談し易いということはなくて更に捕まらないなら「粉っぽい」ということは正しい fact3: もしこのぴゆぴゆLv.56が相談し易くないがそれは捕まるとすると「それは粉っぽくない」ということは確かだ fact4: もし仮に疑い深くないモンスターが行き難くないなら深くない fact5: もし相談し易くないモンスターが捕まるということはないならばそれは粉っぽくない ; $hypothesis$ = 「「相談し易くないし捕まらないならば粉っぽくない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact5 -> int1: 「もしも「このぴゆぴゆLv.56は相談し易くなくておまけに捕まらない」ということは間違いだということはないとすればこのぴゆぴゆLv.56は粉っぽくない」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__