そのアンケートは読本だということはない
fact1: なにかは作品数であるし更にそれは引き攣る fact2: もしも何かは作業工でないとすれば読本であるしおまけに作品数だ fact3: もし仮に「なにかは引き攣るしそれにそれは浮く」ということは確かでないなら引き攣らない fact4: この国際派は子供達であるししかも拍出するとするとそれは作業工だ fact5: もしもこの私的整理が高徳であるがしかし浮くということはないとすればそのアンケートは読本だということはない fact6: この私的整理は読本だ fact7: あの王国全体が作品数ならあの唇弁は作品数でないけれど引き攣る fact8: あの唇弁は引き攣る fact9: この私的整理は浮かない fact10: もしもこの国際派が作業工だとしたらあの王国全体は作品数である fact11: 仮にこの国際派は読本であるなら「そのアンケートは読本である」ということは事実である fact12: もし仮にあの唇弁は社寺境内でないとすると「あの王国全体は引き攣るしまた浮く」ということは事実と異なる fact13: なにかは作品数でない一方で引き攣るとするとこの私的整理は高徳である fact14: 「そのアンケートは高徳である」ということは事実である fact15: この国際派が子供達でないけど拍出すれば作業工である fact16: もしもあの唇弁は一読しないけど少ないならばそれは社寺境内だということはない fact17: あの王国全体は作品数であるならば「あの唇弁は引き攣る」ということは本当である fact18: この国際派は子供達でない fact19: その外来診療は浮かない fact20: この国際派は子供達だということはないがしかし拍出する fact21: 仮に「あの王国全体は作業工だしまた高徳だ」ということは偽だとしたらこの国際派は作業工でない
fact15 & fact20 -> int1: 「この国際派は作業工である」ということは事実だ; int1 & fact10 -> int2: あの王国全体は作品数である; int2 & fact7 -> int3: あの唇弁は作品数でないけれどそれは引き攣る; int3 -> int4: 「作品数でないしかつ引き攣る」ものはある; int4 & fact13 -> int5: この私的整理は高徳である; int5 & fact9 -> int6: この私的整理は高徳だけれど浮かない; int6 & fact5 -> hypothesis;
そのアンケートは読本だ
fact24 -> int7: もしもこの国際派が作業工でないとすれば読本であるしかつ作品数だ; fact25 -> int8: もしも「あの王国全体は引き攣るしおまけに浮く」ということは成り立たないとしたらそれは引き攣らない;
$facts$ = fact1: なにかは作品数であるし更にそれは引き攣る fact2: もしも何かは作業工でないとすれば読本であるしおまけに作品数だ fact3: もし仮に「なにかは引き攣るしそれにそれは浮く」ということは確かでないなら引き攣らない fact4: この国際派は子供達であるししかも拍出するとするとそれは作業工だ fact5: もしもこの私的整理が高徳であるがしかし浮くということはないとすればそのアンケートは読本だということはない fact6: この私的整理は読本だ fact7: あの王国全体が作品数ならあの唇弁は作品数でないけれど引き攣る fact8: あの唇弁は引き攣る fact9: この私的整理は浮かない fact10: もしもこの国際派が作業工だとしたらあの王国全体は作品数である fact11: 仮にこの国際派は読本であるなら「そのアンケートは読本である」ということは事実である fact12: もし仮にあの唇弁は社寺境内でないとすると「あの王国全体は引き攣るしまた浮く」ということは事実と異なる fact13: なにかは作品数でない一方で引き攣るとするとこの私的整理は高徳である fact14: 「そのアンケートは高徳である」ということは事実である fact15: この国際派が子供達でないけど拍出すれば作業工である fact16: もしもあの唇弁は一読しないけど少ないならばそれは社寺境内だということはない fact17: あの王国全体は作品数であるならば「あの唇弁は引き攣る」ということは本当である fact18: この国際派は子供達でない fact19: その外来診療は浮かない fact20: この国際派は子供達だということはないがしかし拍出する fact21: 仮に「あの王国全体は作業工だしまた高徳だ」ということは偽だとしたらこの国際派は作業工でない ; $hypothesis$ = そのアンケートは読本だということはない ; $proof$ = 
fact15 & fact20 -> int1: 「この国際派は作業工である」ということは事実だ; int1 & fact10 -> int2: あの王国全体は作品数である; int2 & fact7 -> int3: あの唇弁は作品数でないけれどそれは引き攣る; int3 -> int4: 「作品数でないしかつ引き攣る」ものはある; int4 & fact13 -> int5: この私的整理は高徳である; int5 & fact9 -> int6: この私的整理は高徳だけれど浮かない; int6 & fact5 -> hypothesis; __PROVED__
事実1: なにかは作品数であるし更にそれは引き攣る
事実2: もしも何かは作業工でないとすれば読本であるしおまけに作品数だ
事実3: もし仮に「なにかは引き攣るしそれにそれは浮く」ということは確かでないなら引き攣らない
事実4: この国際派は子供達であるししかも拍出するとするとそれは作業工だ
事実5: もしもこの私的整理が高徳であるがしかし浮くということはないとすればそのアンケートは読本だということはない
事実6: この私的整理は読本だ
事実7: あの王国全体が作品数ならあの唇弁は作品数でないけれど引き攣る
事実8: あの唇弁は引き攣る
事実9: この私的整理は浮かない
事実10: もしもこの国際派が作業工だとしたらあの王国全体は作品数である
事実11: 仮にこの国際派は読本であるなら「そのアンケートは読本である」ということは事実である
事実12: もし仮にあの唇弁は社寺境内でないとすると「あの王国全体は引き攣るしまた浮く」ということは事実と異なる
事実13: なにかは作品数でない一方で引き攣るとするとこの私的整理は高徳である
事実14: 「そのアンケートは高徳である」ということは事実である
事実15: この国際派が子供達でないけど拍出すれば作業工である
事実16: もしもあの唇弁は一読しないけど少ないならばそれは社寺境内だということはない
事実17: あの王国全体は作品数であるならば「あの唇弁は引き攣る」ということは本当である
事実18: この国際派は子供達でない
事実19: その外来診療は浮かない
事実20: この国際派は子供達だということはないがしかし拍出する
事実21: 仮に「あの王国全体は作業工だしまた高徳だ」ということは偽だとしたらこの国際派は作業工でない

仮説: そのアンケートは読本だということはない
1. 事実15と事実20から、推論1: "「この国際派は作業工である」ということは事実だ"が導かれる
2. 推論1と事実10から、推論2: "あの王国全体は作品数である"が導かれる
3. 推論2と事実7から、推論3: "あの唇弁は作品数でないけれどそれは引き攣る"が導かれる
4. 推論3から、推論4: "「作品数でないしかつ引き攣る」ものはある"が導かれる
5. 推論4と事実13から、推論5: "この私的整理は高徳である"が導かれる
6. 推論5と事実9から、推論6: "この私的整理は高徳だけれど浮かない"が導かれる
7. 推論6と事実5から、仮説が導かれる

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