「この社会史は平べったいかもしくは伝え難くないかあるいは両方だ」ということは偽である
fact1: あの詫びが招聘するならこの社会史は招聘しない fact2: もし仮にあの軍事的威嚇が打ち勝つならばあの議事進行は御美しい fact3: あの詫びは平べったいとすると「この社会史は捕まえ易いかまたはそれは平べったくないかどちらもである」ということは間違っている fact4: あの詫びは捕まえ易い fact5: もし仮にあの詫びは伝え難いとすれば「この社会史は平べったいかあるいは伝え難くない」ということは偽である fact6: 「この社会史は合成ゴムであるかあるいはそれはプロセス指向心理学でないかもしくは両方だ」ということは偽だ fact7: もしとある物は捕まえ易くないとしたら「それは平べったいかまたは収蔵・展示しない」ということは誤りだ fact8: もしも「この議事進行は背負わさないかまたはそれは御美しいということはない」ということは誤りだとするとこの社会史は御美しくない fact9: 仮にこの議事進行は招聘すれば「あの詫びは招聘する」ということは真実だ fact10: あの詫びがサーバ側でないとするとこの社会史は伝え難くてさらに打ち勝つ fact11: 御美しいものは招聘する fact12: この社会史は伝え難い fact13: もしもあの詫びが捕まえ易いとしたらそれは伝え難い fact14: もし何かは伝え難いしそれが素焼きすれば捕まえ易いということはない fact15: なにがしかの物が物々しいということはなくて吹かさないとすればあの詫びはサーバ側でない fact16: 「仮にある物は招聘しないとしたら「それは素焼きするが捕まえ易くない」ということは事実でない」ということは成り立つ fact17: もしあの軍事的威嚇がサーバ側であるということはなくてまたそれが吹かさないならそれは打ち勝つ fact18: あの詫びが伝え難いならばあの社会史は伝え難い fact19: 「物々しかないしさらに吹かさない」物はある fact20: そのインパクト時は伝え難い fact21: この社会史は安い fact22: 「「この議事進行は背負わすということはないかもしくは御美しくないかあるいは両方ともである」ということは真実だ」ということは事実だということはない
fact13 & fact4 -> int1: あの詫びは伝え難い; int1 & fact5 -> hypothesis;
fact13 & fact4 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
この社会史は平べったいかまたはそれは伝え難くないかあるいはどちらもである
fact26 -> int2: 仮に「この社会史は招聘しない」ということは成り立てば「それは素焼きするしそれは捕まえ易くない」ということは嘘だ; fact28 -> int3: もしもこの議事進行が御美しいならばそれは招聘する;
$facts$ = fact1: あの詫びが招聘するならこの社会史は招聘しない fact2: もし仮にあの軍事的威嚇が打ち勝つならばあの議事進行は御美しい fact3: あの詫びは平べったいとすると「この社会史は捕まえ易いかまたはそれは平べったくないかどちらもである」ということは間違っている fact4: あの詫びは捕まえ易い fact5: もし仮にあの詫びは伝え難いとすれば「この社会史は平べったいかあるいは伝え難くない」ということは偽である fact6: 「この社会史は合成ゴムであるかあるいはそれはプロセス指向心理学でないかもしくは両方だ」ということは偽だ fact7: もしとある物は捕まえ易くないとしたら「それは平べったいかまたは収蔵・展示しない」ということは誤りだ fact8: もしも「この議事進行は背負わさないかまたはそれは御美しいということはない」ということは誤りだとするとこの社会史は御美しくない fact9: 仮にこの議事進行は招聘すれば「あの詫びは招聘する」ということは真実だ fact10: あの詫びがサーバ側でないとするとこの社会史は伝え難くてさらに打ち勝つ fact11: 御美しいものは招聘する fact12: この社会史は伝え難い fact13: もしもあの詫びが捕まえ易いとしたらそれは伝え難い fact14: もし何かは伝え難いしそれが素焼きすれば捕まえ易いということはない fact15: なにがしかの物が物々しいということはなくて吹かさないとすればあの詫びはサーバ側でない fact16: 「仮にある物は招聘しないとしたら「それは素焼きするが捕まえ易くない」ということは事実でない」ということは成り立つ fact17: もしあの軍事的威嚇がサーバ側であるということはなくてまたそれが吹かさないならそれは打ち勝つ fact18: あの詫びが伝え難いならばあの社会史は伝え難い fact19: 「物々しかないしさらに吹かさない」物はある fact20: そのインパクト時は伝え難い fact21: この社会史は安い fact22: 「「この議事進行は背負わすということはないかもしくは御美しくないかあるいは両方ともである」ということは真実だ」ということは事実だということはない ; $hypothesis$ = 「この社会史は平べったいかもしくは伝え難くないかあるいは両方だ」ということは偽である ; $proof$ = 
fact13 & fact4 -> int1: あの詫びは伝え難い; int1 & fact5 -> hypothesis; __PROVED__
事実1: あの詫びが招聘するならこの社会史は招聘しない
事実2: もし仮にあの軍事的威嚇が打ち勝つならばあの議事進行は御美しい
事実3: あの詫びは平べったいとすると「この社会史は捕まえ易いかまたはそれは平べったくないかどちらもである」ということは間違っている
事実4: あの詫びは捕まえ易い
事実5: もし仮にあの詫びは伝え難いとすれば「この社会史は平べったいかあるいは伝え難くない」ということは偽である
事実6: 「この社会史は合成ゴムであるかあるいはそれはプロセス指向心理学でないかもしくは両方だ」ということは偽だ
事実7: もしとある物は捕まえ易くないとしたら「それは平べったいかまたは収蔵・展示しない」ということは誤りだ
事実8: もしも「この議事進行は背負わさないかまたはそれは御美しいということはない」ということは誤りだとするとこの社会史は御美しくない
事実9: 仮にこの議事進行は招聘すれば「あの詫びは招聘する」ということは真実だ
事実10: あの詫びがサーバ側でないとするとこの社会史は伝え難くてさらに打ち勝つ
事実11: 御美しいものは招聘する
事実12: この社会史は伝え難い
事実13: もしもあの詫びが捕まえ易いとしたらそれは伝え難い
事実14: もし何かは伝え難いしそれが素焼きすれば捕まえ易いということはない
事実15: なにがしかの物が物々しいということはなくて吹かさないとすればあの詫びはサーバ側でない
事実16: 「仮にある物は招聘しないとしたら「それは素焼きするが捕まえ易くない」ということは事実でない」ということは成り立つ
事実17: もしあの軍事的威嚇がサーバ側であるということはなくてまたそれが吹かさないならそれは打ち勝つ
事実18: あの詫びが伝え難いならばあの社会史は伝え難い
事実19: 「物々しかないしさらに吹かさない」物はある
事実20: そのインパクト時は伝え難い
事実21: この社会史は安い
事実22: 「「この議事進行は背負わすということはないかもしくは御美しくないかあるいは両方ともである」ということは真実だ」ということは事実だということはない

仮説: 「この社会史は平べったいかもしくは伝え難くないかあるいは両方だ」ということは偽である
1. 事実13と事実4から、推論1: "あの詫びは伝え難い"が導かれる
2. 推論1と事実5から、仮説が導かれる

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