「そのぽえぽやLv.63は揮発し易いかまたは焦れったいか両方だ」ということは成り立たない
fact1: 仮にこのぴにょぴゆLv.58が守り易いとしたらそのぽえぽやLv.63は焦れったい fact2: もしもなにがしかのモンスターが守り易いとすれば犯し易い fact3: このぴにょぴゆLv.58は守り易い
fact1 & fact3 -> int1: そのぽえぽやLv.63は焦れったい; int1 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 -> hypothesis;
あのもくもなLv.16は焦れったいかもしくは犯し易いか両方である
fact4 -> int2: もしあのもくもなLv.16が守り易いならばあのもくもなLv.16は犯し易い;
$facts$ = fact1: 仮にこのぴにょぴゆLv.58が守り易いとしたらそのぽえぽやLv.63は焦れったい fact2: もしもなにがしかのモンスターが守り易いとすれば犯し易い fact3: このぴにょぴゆLv.58は守り易い ; $hypothesis$ = 「そのぽえぽやLv.63は揮発し易いかまたは焦れったいか両方だ」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: そのぽえぽやLv.63は焦れったい; int1 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{b}; int1 -> hypothesis; __DISPROVED__