「そのもわもちょLv.52は女っぽくない」ということは本当だ
fact1: もしこのぴよぴよLv.61が握り易いならそのもわもちょLv.52は女っぽい fact2: もし仮にあるモンスターが握り易くないかもしくは女っぽいかもしくは両方ともであるとしたらそれは女っぽい fact3: このぴよぴよLv.61は握り易い fact4: もしもこのぴよぴよLv.61が程良いならばそのもわもちょLv.52は女っぽくないしかつ握り易くない
fact3 -> int1: このぴよぴよLv.61は握り易い; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
そのぽなぽゆLv.89は女っぽい
fact5 -> int2: 仮にそのぽなぽゆLv.89が握り易くないかもしくは女っぽいかもしくは両方であるとしたら「そのぽなぽゆLv.89は女っぽい」ということは成り立つ;
$facts$ = fact1: もしこのぴよぴよLv.61が握り易いならそのもわもちょLv.52は女っぽい fact2: もし仮にあるモンスターが握り易くないかもしくは女っぽいかもしくは両方ともであるとしたらそれは女っぽい fact3: このぴよぴよLv.61は握り易い fact4: もしもこのぴよぴよLv.61が程良いならばそのもわもちょLv.52は女っぽくないしかつ握り易くない ; $hypothesis$ = 「そのもわもちょLv.52は女っぽくない」ということは本当だ ; $proof$ = 
fact3 -> int1: このぴよぴよLv.61は握り易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__