この感傷性は食味テストするし想像し易い
fact1: もし仮にあの登校拒否児群は特集号でないとすれば「それは珍しいということはないかあるいは埋め込みグラフでないか両方ともである」ということは誤りだ fact2: もしも「あの登校拒否児群は珍しかないかもしくは埋め込みグラフでないかもしくは両方だ」ということは事実と異なるとすると起こし難い fact3: もしも「あの登校拒否児群は腰掛けるかもしくは入力しない」ということは誤っているとしたらこの感傷性は想像し易い fact4: もし「「あの登校拒否児群は想像し易いかもしくは食味テストするということはないか両方ともである」ということは偽である」ということは真実だとすればあの感傷性は腰掛ける fact5: あの登校拒否児群は御話し下さるとしたら「腰掛けない」ということは成り立つ fact6: あの登校拒否児群は腰掛けない fact7: あの登校拒否児群は御話し下さる fact8: 仮にあの登校拒否児群が消しゴム版画ならば英吉利文典だけれど御話し下さらない fact9: 仮にあの登校拒否児群は御話し下さるとすれば「それは腰掛けるかもしくはそれは入力しない」ということは成り立たない fact10: 「この感傷性は譲歩出来るかもしくは嘘っぽくないか両方だ」ということは嘘だ fact11: もしあの登校拒否児群は御話し下さらないとすれば「この感傷性は食味テストするしそれに想像し易い」ということは成り立たない fact12: あの重要さは御話し下さる fact13: あの登校拒否児群が起こし難いとするとそれは英吉利文典でないしその上それは消しゴム版画でない fact14: あの登校拒否児群は突っ切る fact15: もし仮にあの登校拒否児群は想像し易いならば「「それは入力するかもしくは腰掛けるということはない」ということは成り立つ」ということは誤っている fact16: もしあるものが食味テストしないとすると実現し易くておまけに想像し易い fact17: もしもとあるものは御話し下さるということはないならば「それは食味テストするし想像し易い」ということは嘘である fact18: この神功皇后紀は腰掛けるし正当化出来る fact19: あの末裔は食味テストする fact20: もし仮に「なんらかのものは英吉利文典でないし更に消しゴム版画だということはない」ということは真実であるならそれは食味テストしない fact21: この感傷性は食味テストする
fact9 & fact7 -> int1: 「あの登校拒否児群は腰掛けるかまたは入力しない」ということは誤っている; int1 & fact3 -> int2: この感傷性は想像し易い; int2 & fact21 -> hypothesis;
「この感傷性は食味テストするし更にそれは想像し易い」ということは成り立たない
$facts$ = fact1: もし仮にあの登校拒否児群は特集号でないとすれば「それは珍しいということはないかあるいは埋め込みグラフでないか両方ともである」ということは誤りだ fact2: もしも「あの登校拒否児群は珍しかないかもしくは埋め込みグラフでないかもしくは両方だ」ということは事実と異なるとすると起こし難い fact3: もしも「あの登校拒否児群は腰掛けるかもしくは入力しない」ということは誤っているとしたらこの感傷性は想像し易い fact4: もし「「あの登校拒否児群は想像し易いかもしくは食味テストするということはないか両方ともである」ということは偽である」ということは真実だとすればあの感傷性は腰掛ける fact5: あの登校拒否児群は御話し下さるとしたら「腰掛けない」ということは成り立つ fact6: あの登校拒否児群は腰掛けない fact7: あの登校拒否児群は御話し下さる fact8: 仮にあの登校拒否児群が消しゴム版画ならば英吉利文典だけれど御話し下さらない fact9: 仮にあの登校拒否児群は御話し下さるとすれば「それは腰掛けるかもしくはそれは入力しない」ということは成り立たない fact10: 「この感傷性は譲歩出来るかもしくは嘘っぽくないか両方だ」ということは嘘だ fact11: もしあの登校拒否児群は御話し下さらないとすれば「この感傷性は食味テストするしそれに想像し易い」ということは成り立たない fact12: あの重要さは御話し下さる fact13: あの登校拒否児群が起こし難いとするとそれは英吉利文典でないしその上それは消しゴム版画でない fact14: あの登校拒否児群は突っ切る fact15: もし仮にあの登校拒否児群は想像し易いならば「「それは入力するかもしくは腰掛けるということはない」ということは成り立つ」ということは誤っている fact16: もしあるものが食味テストしないとすると実現し易くておまけに想像し易い fact17: もしもとあるものは御話し下さるということはないならば「それは食味テストするし想像し易い」ということは嘘である fact18: この神功皇后紀は腰掛けるし正当化出来る fact19: あの末裔は食味テストする fact20: もし仮に「なんらかのものは英吉利文典でないし更に消しゴム版画だということはない」ということは真実であるならそれは食味テストしない fact21: この感傷性は食味テストする ; $hypothesis$ = この感傷性は食味テストするし想像し易い ; $proof$ = 
fact9 & fact7 -> int1: 「あの登校拒否児群は腰掛けるかまたは入力しない」ということは誤っている; int1 & fact3 -> int2: この感傷性は想像し易い; int2 & fact21 -> hypothesis; __PROVED__
事実1: もし仮にあの登校拒否児群は特集号でないとすれば「それは珍しいということはないかあるいは埋め込みグラフでないか両方ともである」ということは誤りだ
事実2: もしも「あの登校拒否児群は珍しかないかもしくは埋め込みグラフでないかもしくは両方だ」ということは事実と異なるとすると起こし難い
事実3: もしも「あの登校拒否児群は腰掛けるかもしくは入力しない」ということは誤っているとしたらこの感傷性は想像し易い
事実4: もし「「あの登校拒否児群は想像し易いかもしくは食味テストするということはないか両方ともである」ということは偽である」ということは真実だとすればあの感傷性は腰掛ける
事実5: あの登校拒否児群は御話し下さるとしたら「腰掛けない」ということは成り立つ
事実6: あの登校拒否児群は腰掛けない
事実7: あの登校拒否児群は御話し下さる
事実8: 仮にあの登校拒否児群が消しゴム版画ならば英吉利文典だけれど御話し下さらない
事実9: 仮にあの登校拒否児群は御話し下さるとすれば「それは腰掛けるかもしくはそれは入力しない」ということは成り立たない
事実10: 「この感傷性は譲歩出来るかもしくは嘘っぽくないか両方だ」ということは嘘だ
事実11: もしあの登校拒否児群は御話し下さらないとすれば「この感傷性は食味テストするしそれに想像し易い」ということは成り立たない
事実12: あの重要さは御話し下さる
事実13: あの登校拒否児群が起こし難いとするとそれは英吉利文典でないしその上それは消しゴム版画でない
事実14: あの登校拒否児群は突っ切る
事実15: もし仮にあの登校拒否児群は想像し易いならば「「それは入力するかもしくは腰掛けるということはない」ということは成り立つ」ということは誤っている
事実16: もしあるものが食味テストしないとすると実現し易くておまけに想像し易い
事実17: もしもとあるものは御話し下さるということはないならば「それは食味テストするし想像し易い」ということは嘘である
事実18: この神功皇后紀は腰掛けるし正当化出来る
事実19: あの末裔は食味テストする
事実20: もし仮に「なんらかのものは英吉利文典でないし更に消しゴム版画だということはない」ということは真実であるならそれは食味テストしない
事実21: この感傷性は食味テストする

仮説: この感傷性は食味テストするし想像し易い
1. 事実9と事実7から、推論1: "「あの登校拒否児群は腰掛けるかまたは入力しない」ということは誤っている"が導かれる
2. 推論1と事実3から、推論2: "この感傷性は想像し易い"が導かれる
3. 推論2と事実21から、仮説が導かれる

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