この代諾者は厚ぼったくない
fact1: 聡いものは許す fact2: 何らかの物は相殺出来ない fact3: もし仮にその春頃が仲直りすればこの代諾者は厚ぼったい fact4: その春頃は通う fact5: その春頃は仲直りする fact6: この代諾者は仲直りする fact7: もしもその春頃が厚ぼったいとすればこの代諾者は仲直りする fact8: なにがしかの物が許すとするとそれは補訂でないし更にそれは腹黒くない
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
この代諾者は仲直りする
fact12 -> int1: 仮にこの消毒後が許すとしたらそれは補訂でなくてかつ腹黒くない; fact9 -> int2: 仮にこの消毒後が聡いとしたら許す;
$facts$ = fact1: 聡いものは許す fact2: 何らかの物は相殺出来ない fact3: もし仮にその春頃が仲直りすればこの代諾者は厚ぼったい fact4: その春頃は通う fact5: その春頃は仲直りする fact6: この代諾者は仲直りする fact7: もしもその春頃が厚ぼったいとすればこの代諾者は仲直りする fact8: なにがしかの物が許すとするとそれは補訂でないし更にそれは腹黒くない ; $hypothesis$ = この代諾者は厚ぼったくない ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: 聡いものは許す
事実2: 何らかの物は相殺出来ない
事実3: もし仮にその春頃が仲直りすればこの代諾者は厚ぼったい
事実4: その春頃は通う
事実5: その春頃は仲直りする
事実6: この代諾者は仲直りする
事実7: もしもその春頃が厚ぼったいとすればこの代諾者は仲直りする
事実8: なにがしかの物が許すとするとそれは補訂でないし更にそれは腹黒くない

仮説: この代諾者は厚ぼったくない
1. 事実3と事実5から、仮説が否定される

よって、仮説が否定されました。