「その社会的動物は他国人でないけれど離せる」ということは誤っている
fact1: もしもあるものが受け難いということはないならば受け辛いし加えて三Ｐである fact2: もし仮にあの神父達が削ぎ落とすとすればこの戒律は礼儀正しくないけれど警笛である fact3: 仮にあるものが相撲でないならば電磁波スモッグでないしまたそれは引っ繰り返らない fact4: 全ては熟年離婚でない fact5: もし仮にこの渋温泉が電磁波スモッグだということはないし加えて引っ繰り返らないならその社会的動物は受け難くない fact6: 「あの機械的適用は居宅サービス事業でない一方で他国人である」ということは間違っている fact7: もし仮に「観光客らしくない」物はあるなら「この契約類型は底深くてかつ他国人である」ということは誤っている fact8: 「「何かは受け辛くない」ということは真実である」ということは本当である fact9: 美しいものは削ぎ落とす fact10: 「その社会的動物は他国人だしおまけに離せる」ということは成り立たない fact11: 仮に礼儀正しくないものは警笛であるとするとそれは地中深い fact12: 仮にこの渋温泉が出現し易いがしかし他国人でないとするとその社会的動物は出現し易くない fact13: もしもとあるものは三Ｐでないしさらに離せらないならそれは受け辛い fact14: もし仮にあの神父達は肺破裂であるならばそれは削ぎ落とす fact15: もしも何かは熟年離婚でないならそれは美しいかまたは肺破裂であるかまたは両方ともである fact16: もしも「受け辛くない」物はあるとしたら「その社会的動物は他国人でない一方で離せる」ということは成り立たない fact17: 「受け辛くない」ものはあるとすれば「その社会的動物は他国人だしまた離せる」ということは事実と異なる fact18: 青しない物が尋ねるとすればこの渋温泉は相撲でない fact19: 「受け辛い」ものはある fact20: なにがしかのものは利用関係でないとしたら「その社会的動物は受け辛くない一方で締めっぽい」ということは事実と異なる fact21: 「もし仮にこの戒律が地中深いとすればこの戒律は青しないが尋ねる」ということは真実だ
fact8 & fact16 -> hypothesis;
なんらかの物は出現し易くない
fact23 -> int1: この渋温泉が三Ｐでないし更に離せらないとしたら受け辛い;
$facts$ = fact1: もしもあるものが受け難いということはないならば受け辛いし加えて三Ｐである fact2: もし仮にあの神父達が削ぎ落とすとすればこの戒律は礼儀正しくないけれど警笛である fact3: 仮にあるものが相撲でないならば電磁波スモッグでないしまたそれは引っ繰り返らない fact4: 全ては熟年離婚でない fact5: もし仮にこの渋温泉が電磁波スモッグだということはないし加えて引っ繰り返らないならその社会的動物は受け難くない fact6: 「あの機械的適用は居宅サービス事業でない一方で他国人である」ということは間違っている fact7: もし仮に「観光客らしくない」物はあるなら「この契約類型は底深くてかつ他国人である」ということは誤っている fact8: 「「何かは受け辛くない」ということは真実である」ということは本当である fact9: 美しいものは削ぎ落とす fact10: 「その社会的動物は他国人だしおまけに離せる」ということは成り立たない fact11: 仮に礼儀正しくないものは警笛であるとするとそれは地中深い fact12: 仮にこの渋温泉が出現し易いがしかし他国人でないとするとその社会的動物は出現し易くない fact13: もしもとあるものは三Ｐでないしさらに離せらないならそれは受け辛い fact14: もし仮にあの神父達は肺破裂であるならばそれは削ぎ落とす fact15: もしも何かは熟年離婚でないならそれは美しいかまたは肺破裂であるかまたは両方ともである fact16: もしも「受け辛くない」物はあるとしたら「その社会的動物は他国人でない一方で離せる」ということは成り立たない fact17: 「受け辛くない」ものはあるとすれば「その社会的動物は他国人だしまた離せる」ということは事実と異なる fact18: 青しない物が尋ねるとすればこの渋温泉は相撲でない fact19: 「受け辛い」ものはある fact20: なにがしかのものは利用関係でないとしたら「その社会的動物は受け辛くない一方で締めっぽい」ということは事実と異なる fact21: 「もし仮にこの戒律が地中深いとすればこの戒律は青しないが尋ねる」ということは真実だ ; $hypothesis$ = 「その社会的動物は他国人でないけれど離せる」ということは誤っている ; $proof$ = 
fact8 & fact16 -> hypothesis; __PROVED__
事実1: もしもあるものが受け難いということはないならば受け辛いし加えて三Ｐである
事実2: もし仮にあの神父達が削ぎ落とすとすればこの戒律は礼儀正しくないけれど警笛である
事実3: 仮にあるものが相撲でないならば電磁波スモッグでないしまたそれは引っ繰り返らない
事実4: 全ては熟年離婚でない
事実5: もし仮にこの渋温泉が電磁波スモッグだということはないし加えて引っ繰り返らないならその社会的動物は受け難くない
事実6: 「あの機械的適用は居宅サービス事業でない一方で他国人である」ということは間違っている
事実7: もし仮に「観光客らしくない」物はあるなら「この契約類型は底深くてかつ他国人である」ということは誤っている
事実8: 「「何かは受け辛くない」ということは真実である」ということは本当である
事実9: 美しいものは削ぎ落とす
事実10: 「その社会的動物は他国人だしおまけに離せる」ということは成り立たない
事実11: 仮に礼儀正しくないものは警笛であるとするとそれは地中深い
事実12: 仮にこの渋温泉が出現し易いがしかし他国人でないとするとその社会的動物は出現し易くない
事実13: もしもとあるものは三Ｐでないしさらに離せらないならそれは受け辛い
事実14: もし仮にあの神父達は肺破裂であるならばそれは削ぎ落とす
事実15: もしも何かは熟年離婚でないならそれは美しいかまたは肺破裂であるかまたは両方ともである
事実16: もしも「受け辛くない」物はあるとしたら「その社会的動物は他国人でない一方で離せる」ということは成り立たない
事実17: 「受け辛くない」ものはあるとすれば「その社会的動物は他国人だしまた離せる」ということは事実と異なる
事実18: 青しない物が尋ねるとすればこの渋温泉は相撲でない
事実19: 「受け辛い」ものはある
事実20: なにがしかのものは利用関係でないとしたら「その社会的動物は受け辛くない一方で締めっぽい」ということは事実と異なる
事実21: 「もし仮にこの戒律が地中深いとすればこの戒律は青しないが尋ねる」ということは真実だ

仮説: 「その社会的動物は他国人でないけれど離せる」ということは誤っている
1. 事実8と事実16から、仮説が導かれる

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