「このぴなぴよLv.62は巡航するかもしくは安っぽい」ということは誤りである
fact1: もしこのぷにょぷにゃLv.17が安っぽいならばこのぴなぴよLv.62は取れ難い fact2: もし仮にこのぷにょぷにゃLv.17が取れ難いとすればこのぴなぴよLv.62は巡航する fact3: このぷにょぷにゃLv.17は取れ難い
fact2 & fact3 -> int1: このぴなぴよLv.62は巡航する; int1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 -> hypothesis;
$facts$ = fact1: もしこのぷにょぷにゃLv.17が安っぽいならばこのぴなぴよLv.62は取れ難い fact2: もし仮にこのぷにょぷにゃLv.17が取れ難いとすればこのぴなぴよLv.62は巡航する fact3: このぷにょぷにゃLv.17は取れ難い ; $hypothesis$ = 「このぴなぴよLv.62は巡航するかもしくは安っぽい」ということは誤りである ; $proof$ = 
fact2 & fact3 -> int1: このぴなぴよLv.62は巡航する; int1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 -> hypothesis; __DISPROVED__