「もしもそのぷちょぷにょLv.29が触知出来るとすればあのぴちゃぴくLv.89は寒々しくない」ということは間違っている
fact1: そのぷちょぷにょLv.29はうら若い fact2: もしそのぷちょぷにょLv.29は寒々しいとしたら「あのぴちゃぴくLv.89はうら若い」ということは事実である fact3: そのぷちょぷにょLv.29が触知出来るし更にうら若いならあのぴちゃぴくLv.89は寒々しいということはない
void -> assump1: 以下のように仮定する。そのぷちょぷにょLv.29は触知出来る; assump1 & fact1 -> int1: そのぷちょぷにょLv.29は触知出来るしうら若い; int1 & fact3 -> int2: あのぴちゃぴくLv.89は寒々しくない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのぷちょぷにょLv.29はうら若い fact2: もしそのぷちょぷにょLv.29は寒々しいとしたら「あのぴちゃぴくLv.89はうら若い」ということは事実である fact3: そのぷちょぷにょLv.29が触知出来るし更にうら若いならあのぴちゃぴくLv.89は寒々しいということはない ; $hypothesis$ = 「もしもそのぷちょぷにょLv.29が触知出来るとすればあのぴちゃぴくLv.89は寒々しくない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぷちょぷにょLv.29は触知出来る; assump1 & fact1 -> int1: そのぷちょぷにょLv.29は触知出来るしうら若い; int1 & fact3 -> int2: あのぴちゃぴくLv.89は寒々しくない; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__