そのぷにゃぷにゃLv.84は犯し難い
fact1: そのぽえぽゆLv.32は手広い fact2: 仮にそのぽえぽゆLv.32がぶん殴るしそれにそれが手広いとすればそのぷにゃぷにゃLv.84は犯し難くない fact3: そのぽえぽゆLv.32はひもじいししかもぶん殴る fact4: 「ひもじいモンスターは犯し難い」ということは事実である
fact3 -> int1: そのぽえぽゆLv.32はぶん殴る; int1 & fact1 -> int2: そのぽえぽゆLv.32はぶん殴るしおまけに手広い; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis;
そのぷにゃぷにゃLv.84は犯し難い
fact5 -> int3: もしもそのぷにゃぷにゃLv.84がひもじいとしたら犯し難い;
$facts$ = fact1: そのぽえぽゆLv.32は手広い fact2: 仮にそのぽえぽゆLv.32がぶん殴るしそれにそれが手広いとすればそのぷにゃぷにゃLv.84は犯し難くない fact3: そのぽえぽゆLv.32はひもじいししかもぶん殴る fact4: 「ひもじいモンスターは犯し難い」ということは事実である ; $hypothesis$ = そのぷにゃぷにゃLv.84は犯し難い ; $proof$ = 
fact3 -> int1: そのぽえぽゆLv.32はぶん殴る; int1 & fact1 -> int2: そのぽえぽゆLv.32はぶん殴るしおまけに手広い; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__