この縫製は部族民である
fact1: 「焼き印でない」ものはある fact2: あの紙屑は潰瘍形成だ fact3: あの紙屑は焼き印でない fact4: もし「部族民でない」ものがあるとするとこの縫製は会社法上でなくて焼き印でない fact5: 「焼き印である」ものはある fact6: あの紙屑は部族民である fact7: 「さない」物はある fact8: 仮にあの紙屑が会社法上でないが焼き印ならこの縫製は部族民だ fact9: とある物は会社法上でない fact10: もし仮になにかはすがしかし会社法上でないならば部族民であるということはない fact11: もし「さない」物があるとするとあの紙屑は会社法上でなくておまけにそれは焼き印でない fact12: もしもあの紙屑が会社法上だということはないしまた焼き印でないならこの縫製は部族民だ
fact7 & fact11 -> int1: あの紙屑は会社法上でないしさらに焼き印でない; int1 & fact12 -> hypothesis;
この縫製は部族民でない
fact13 -> int2: 「この縫製はすけれどそれは会社法上でない」ということは確かであるとすればそれは部族民でない;
$facts$ = fact1: 「焼き印でない」ものはある fact2: あの紙屑は潰瘍形成だ fact3: あの紙屑は焼き印でない fact4: もし「部族民でない」ものがあるとするとこの縫製は会社法上でなくて焼き印でない fact5: 「焼き印である」ものはある fact6: あの紙屑は部族民である fact7: 「さない」物はある fact8: 仮にあの紙屑が会社法上でないが焼き印ならこの縫製は部族民だ fact9: とある物は会社法上でない fact10: もし仮になにかはすがしかし会社法上でないならば部族民であるということはない fact11: もし「さない」物があるとするとあの紙屑は会社法上でなくておまけにそれは焼き印でない fact12: もしもあの紙屑が会社法上だということはないしまた焼き印でないならこの縫製は部族民だ ; $hypothesis$ = この縫製は部族民である ; $proof$ = 
fact7 & fact11 -> int1: あの紙屑は会社法上でないしさらに焼き印でない; int1 & fact12 -> hypothesis; __PROVED__
事実1: 「焼き印でない」ものはある
事実2: あの紙屑は潰瘍形成だ
事実3: あの紙屑は焼き印でない
事実4: もし「部族民でない」ものがあるとするとこの縫製は会社法上でなくて焼き印でない
事実5: 「焼き印である」ものはある
事実6: あの紙屑は部族民である
事実7: 「さない」物はある
事実8: 仮にあの紙屑が会社法上でないが焼き印ならこの縫製は部族民だ
事実9: とある物は会社法上でない
事実10: もし仮になにかはすがしかし会社法上でないならば部族民であるということはない
事実11: もし「さない」物があるとするとあの紙屑は会社法上でなくておまけにそれは焼き印でない
事実12: もしもあの紙屑が会社法上だということはないしまた焼き印でないならこの縫製は部族民だ

仮説: この縫製は部族民である
1. 事実7と事実11から、推論1: "あの紙屑は会社法上でないしさらに焼き印でない"が導かれる
2. 推論1と事実12から、仮説が導かれる

よって、仮説が証明されました。