この相対的記載事項は人間扱いする
fact1: 「見え易いものは天引きする」ということは真実である fact2: この相対的記載事項が開講しないしさらにそれは喜ばしかない fact3: この相対的記載事項は文筆家であるということはないしその上物々しいない fact4: もしその諸利益が掘り当てるがしかしそれは窮屈さでないなら箱形断面であるということはない fact5: もしもなんらかの物が天引きすればそれは人間扱いする fact6: その挂甲は開講しない fact7: あの脳性麻痺は開講しない fact8: もしこの相対的記載事項が開講しなくて喜ばしかないとしたらそれは人間扱いするということはない fact9: もしもこの相対的記載事項が喜ばしかなくて小賢しくないとしたら歩き難くない fact10: この相対的記載事項はいじましくない
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
この相対的記載事項は人間扱いする
fact12 -> int1: この相対的記載事項が天引きするとすると人間扱いする; fact11 -> int2: もし仮にこの相対的記載事項が見え易いとしたらそれは天引きする;
$facts$ = fact1: 「見え易いものは天引きする」ということは真実である fact2: この相対的記載事項が開講しないしさらにそれは喜ばしかない fact3: この相対的記載事項は文筆家であるということはないしその上物々しいない fact4: もしその諸利益が掘り当てるがしかしそれは窮屈さでないなら箱形断面であるということはない fact5: もしもなんらかの物が天引きすればそれは人間扱いする fact6: その挂甲は開講しない fact7: あの脳性麻痺は開講しない fact8: もしこの相対的記載事項が開講しなくて喜ばしかないとしたらそれは人間扱いするということはない fact9: もしもこの相対的記載事項が喜ばしかなくて小賢しくないとしたら歩き難くない fact10: この相対的記載事項はいじましくない ; $hypothesis$ = この相対的記載事項は人間扱いする ; $proof$ = 
fact8 & fact2 -> hypothesis; __DISPROVED__
事実1: 「見え易いものは天引きする」ということは真実である
事実2: この相対的記載事項が開講しないしさらにそれは喜ばしかない
事実3: この相対的記載事項は文筆家であるということはないしその上物々しいない
事実4: もしその諸利益が掘り当てるがしかしそれは窮屈さでないなら箱形断面であるということはない
事実5: もしもなんらかの物が天引きすればそれは人間扱いする
事実6: その挂甲は開講しない
事実7: あの脳性麻痺は開講しない
事実8: もしこの相対的記載事項が開講しなくて喜ばしかないとしたらそれは人間扱いするということはない
事実9: もしもこの相対的記載事項が喜ばしかなくて小賢しくないとしたら歩き難くない
事実10: この相対的記載事項はいじましくない

仮説: この相対的記載事項は人間扱いする
1. 事実8と事実2から、仮説が否定される

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