もし仮にこのもゆもねLv.86が緩いとするとこのまにゅまにゃLv.12は説き起こす
fact1: もし仮にこのもゆもねLv.86が心憎いならばこのまにゅまにゃLv.12は説き起こす fact2: もし仮にこのもゆもねLv.86が緩いならばこのもゆもねLv.86は心憎い
void -> assump1: 以下のように仮定する。このもゆもねLv.86は緩い; fact2 & assump1 -> int1: このもゆもねLv.86は心憎い; int1 & fact1 -> int2: 「このまにゅまにゃLv.12は説き起こす」ということは真実である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にこのもゆもねLv.86が心憎いならばこのまにゅまにゃLv.12は説き起こす fact2: もし仮にこのもゆもねLv.86が緩いならばこのもゆもねLv.86は心憎い ; $hypothesis$ = もし仮にこのもゆもねLv.86が緩いとするとこのまにゅまにゃLv.12は説き起こす ; $proof$ = 
void -> assump1: 以下のように仮定する。このもゆもねLv.86は緩い; fact2 & assump1 -> int1: このもゆもねLv.86は心憎い; int1 & fact1 -> int2: 「このまにゅまにゃLv.12は説き起こす」ということは真実である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__