「このぽにょぽゆLv.41はすっごーくないか堅苦しい」ということは偽である
fact1: もしも何らかのモンスターが人間っぽいとすればすっごーくないかまたは堅苦しいかまたは両方ともである fact2: このぷにゅぷえLv.50が塗り易いならそれは合い難いかあるいは自然乾燥するかもしくはどちらもだ fact3: このぽにょぽゆLv.41は人間っぽい
fact1 -> int1: もしもこのぽにょぽゆLv.41が人間っぽいとすればすっごーくないかもしくはそれは堅苦しい; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> hypothesis;
$facts$ = fact1: もしも何らかのモンスターが人間っぽいとすればすっごーくないかまたは堅苦しいかまたは両方ともである fact2: このぷにゅぷえLv.50が塗り易いならそれは合い難いかあるいは自然乾燥するかもしくはどちらもだ fact3: このぽにょぽゆLv.41は人間っぽい ; $hypothesis$ = 「このぽにょぽゆLv.41はすっごーくないか堅苦しい」ということは偽である ; $proof$ = 
fact1 -> int1: もしもこのぽにょぽゆLv.41が人間っぽいとすればすっごーくないかもしくはそれは堅苦しい; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact3 -> hypothesis; __DISPROVED__