もしもこのぽねぽにょLv.20が厚ぼったいとしたらそのぽちゃぽにLv.90は心無い
fact1: 仮に「このぽねぽにょLv.20は厚ぼったい」ということは嘘でないならばそのぷいぷちゃLv.71は加工し易い fact2: 仮にそのぷいぷちゃLv.71が加工し易いとするとそのぽちゃぽにLv.90は心無い
void -> assump1: 以下のように仮定する。このぽねぽにょLv.20は厚ぼったい; fact1 & assump1 -> int1: そのぷいぷちゃLv.71は加工し易い; int1 & fact2 -> int2: そのぽちゃぽにLv.90は心無い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮に「このぽねぽにょLv.20は厚ぼったい」ということは嘘でないならばそのぷいぷちゃLv.71は加工し易い fact2: 仮にそのぷいぷちゃLv.71が加工し易いとするとそのぽちゃぽにLv.90は心無い ; $hypothesis$ = もしもこのぽねぽにょLv.20が厚ぼったいとしたらそのぽちゃぽにLv.90は心無い ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽねぽにょLv.20は厚ぼったい; fact1 & assump1 -> int1: そのぷいぷちゃLv.71は加工し易い; int1 & fact2 -> int2: そのぽちゃぽにLv.90は心無い; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__