このハーディーは手縫いであるということはない
fact1: このハーディーは痛み易い fact2: もしあの三角ポリゴンは空気銃であるなら「このハーディーは武装する一方で真ん丸くない」ということは成り立たない fact3: あの外貨建て債務は手縫いだ fact4: もし仮に暗しない物が身請けすればそれは手縫いでない fact5: あのＰＣＲ法は痛み易い fact6: この報告会は手縫いである fact7: もしも「このハーディーは武装するがしかし真ん丸くない」ということは事実でないなら真ん丸い fact8: 何らかの物が豪華でないかもしくは手縫いでないかもしくはどちらもだとしたら痛み易い fact9: もしこの相手選手が暗しないならばその打点は暗しない fact10: このハーディーはし易い fact11: その外国人講師は手縫いでない fact12: 仮にこのハーディーは痛み易いとしたら「手縫いであるということはない」ということは真実だ fact13: もしもこのハーディーが真ん丸いならばこのバレーは真ん丸い fact14: この無秩序状態は痛み易い fact15: このハーディーは身請けしない fact16: 仮にこのハーディーが痛み易いならばそれは結婚出来ない fact17: 仮にその打点は暗しないとしたら「あの三角ポリゴンは豪華でしかも痛み易い」ということは成り立たない fact18: もしこのハーディーが痛み易いとしたら後記でない fact19: 真ん丸い物は暗しということはないがしかし身請けする fact20: あの燃焼室は痛み易い fact21: 仮にこのハーディーが痛み易いならば前夜祭りでない
fact12 & fact1 -> hypothesis;
fact12 & fact1 -> hypothesis;
このバレーは痛み易い
fact25 -> int1: このバレーが豪華でないかもしくは手縫いであるということはないかまたはどちらもであるならばそれは痛み易い; fact27 -> int2: もしこのバレーは暗しないけど身請けするとしたら手縫いでない; fact24 -> int3: もしもこのバレーが真ん丸いとするとそれは暗しないしそれに身請けする;
$facts$ = fact1: このハーディーは痛み易い fact2: もしあの三角ポリゴンは空気銃であるなら「このハーディーは武装する一方で真ん丸くない」ということは成り立たない fact3: あの外貨建て債務は手縫いだ fact4: もし仮に暗しない物が身請けすればそれは手縫いでない fact5: あのＰＣＲ法は痛み易い fact6: この報告会は手縫いである fact7: もしも「このハーディーは武装するがしかし真ん丸くない」ということは事実でないなら真ん丸い fact8: 何らかの物が豪華でないかもしくは手縫いでないかもしくはどちらもだとしたら痛み易い fact9: もしこの相手選手が暗しないならばその打点は暗しない fact10: このハーディーはし易い fact11: その外国人講師は手縫いでない fact12: 仮にこのハーディーは痛み易いとしたら「手縫いであるということはない」ということは真実だ fact13: もしもこのハーディーが真ん丸いならばこのバレーは真ん丸い fact14: この無秩序状態は痛み易い fact15: このハーディーは身請けしない fact16: 仮にこのハーディーが痛み易いならばそれは結婚出来ない fact17: 仮にその打点は暗しないとしたら「あの三角ポリゴンは豪華でしかも痛み易い」ということは成り立たない fact18: もしこのハーディーが痛み易いとしたら後記でない fact19: 真ん丸い物は暗しということはないがしかし身請けする fact20: あの燃焼室は痛み易い fact21: 仮にこのハーディーが痛み易いならば前夜祭りでない ; $hypothesis$ = このハーディーは手縫いであるということはない ; $proof$ = 
fact12 & fact1 -> hypothesis; __PROVED__
事実1: このハーディーは痛み易い
事実2: もしあの三角ポリゴンは空気銃であるなら「このハーディーは武装する一方で真ん丸くない」ということは成り立たない
事実3: あの外貨建て債務は手縫いだ
事実4: もし仮に暗しない物が身請けすればそれは手縫いでない
事実5: あのＰＣＲ法は痛み易い
事実6: この報告会は手縫いである
事実7: もしも「このハーディーは武装するがしかし真ん丸くない」ということは事実でないなら真ん丸い
事実8: 何らかの物が豪華でないかもしくは手縫いでないかもしくはどちらもだとしたら痛み易い
事実9: もしこの相手選手が暗しないならばその打点は暗しない
事実10: このハーディーはし易い
事実11: その外国人講師は手縫いでない
事実12: 仮にこのハーディーは痛み易いとしたら「手縫いであるということはない」ということは真実だ
事実13: もしもこのハーディーが真ん丸いならばこのバレーは真ん丸い
事実14: この無秩序状態は痛み易い
事実15: このハーディーは身請けしない
事実16: 仮にこのハーディーが痛み易いならばそれは結婚出来ない
事実17: 仮にその打点は暗しないとしたら「あの三角ポリゴンは豪華でしかも痛み易い」ということは成り立たない
事実18: もしこのハーディーが痛み易いとしたら後記でない
事実19: 真ん丸い物は暗しということはないがしかし身請けする
事実20: あの燃焼室は痛み易い
事実21: 仮にこのハーディーが痛み易いならば前夜祭りでない

仮説: このハーディーは手縫いであるということはない
1. 事実12と事実1から、仮説が導かれる

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