「この篠は無視し続ける」ということは成り立つ
fact1: もし何らかのものが二十歳未満であるとすると否定し難くないしさらにそれは無視し続ける fact2: もしなにがしかの物は観覧しないとすれば「タイ語でなくて加えて悲しない」ということは偽である fact3: もし仮にあの確率計算は供与等でないならば「抜き難くてさらにそれは響き続ける」ということは嘘である fact4: もし何らかの物が震動するならそれは襲わない fact5: この微苦笑は無視し続ける fact6: もし「何らかのものはタイ語でなくてしかも悲しない」ということは成り立つということはないならそれは迷信深いということはない fact7: あの確率計算は供与等でない fact8: もしもこの篠が溜め込み易いとすれば二十歳未満だ fact9: もし「なんらかのものは抜き難くて加えてそれは響き続ける」ということは偽であるならそれは観覧しない fact10: もしもなんらかの物は無視し続ければ否定し難くないがしかし溜め込み易い fact11: この篠はハイレベルだ fact12: もしなにがしかの物は迷信深くないとしたら「溜め込み易いがしかし二十歳未満でない」ということは事実でない fact13: この篠は溜め込み易い
fact1 -> int1: 仮にこの篠が二十歳未満であるとすればそれは否定し難いということはなくてそれは無視し続ける; fact8 & fact13 -> int2: この篠は二十歳未満である; int1 & int2 -> int3: この篠は否定し難くないけれど無視し続ける; int3 -> hypothesis;
この篠は無視し続けない
fact14 -> int4: もしもあの確率計算は迷信深くないとしたら「溜め込み易いが二十歳未満でない」ということは成り立たない; fact17 -> int5: もしも「あの確率計算はタイ語でなくてしかもそれは悲しない」ということは嘘であるとしたら迷信深いということはない; fact18 -> int6: もし仮にあの確率計算は観覧しないとすると「それはタイ語でないしそれは悲しない」ということは成り立つということはない; fact16 -> int7: 「あの確率計算は抜き難くてそれに響き続ける」ということは誤りだとすればそれは観覧しない; fact15 & fact19 -> int8: 「あの確率計算は抜き難いししかもそれは響き続ける」ということは偽である; int7 & int8 -> int9: あの確率計算は観覧しない; int6 & int9 -> int10: 「あの確率計算はタイ語でなくて更にそれは悲しない」ということは間違いだ; int5 & int10 -> int11: あの確率計算は迷信深くない; int4 & int11 -> int12: 「あの確率計算は溜め込み易いけど二十歳未満でない」ということは間違っている; int12 -> int13: 「「溜め込み易くておまけに二十歳未満でない」ということは成り立たない」物はある;
$facts$ = fact1: もし何らかのものが二十歳未満であるとすると否定し難くないしさらにそれは無視し続ける fact2: もしなにがしかの物は観覧しないとすれば「タイ語でなくて加えて悲しない」ということは偽である fact3: もし仮にあの確率計算は供与等でないならば「抜き難くてさらにそれは響き続ける」ということは嘘である fact4: もし何らかの物が震動するならそれは襲わない fact5: この微苦笑は無視し続ける fact6: もし「何らかのものはタイ語でなくてしかも悲しない」ということは成り立つということはないならそれは迷信深いということはない fact7: あの確率計算は供与等でない fact8: もしもこの篠が溜め込み易いとすれば二十歳未満だ fact9: もし「なんらかのものは抜き難くて加えてそれは響き続ける」ということは偽であるならそれは観覧しない fact10: もしもなんらかの物は無視し続ければ否定し難くないがしかし溜め込み易い fact11: この篠はハイレベルだ fact12: もしなにがしかの物は迷信深くないとしたら「溜め込み易いがしかし二十歳未満でない」ということは事実でない fact13: この篠は溜め込み易い ; $hypothesis$ = 「この篠は無視し続ける」ということは成り立つ ; $proof$ = 
fact1 -> int1: 仮にこの篠が二十歳未満であるとすればそれは否定し難いということはなくてそれは無視し続ける; fact8 & fact13 -> int2: この篠は二十歳未満である; int1 & int2 -> int3: この篠は否定し難くないけれど無視し続ける; int3 -> hypothesis; __PROVED__
事実1: もし何らかのものが二十歳未満であるとすると否定し難くないしさらにそれは無視し続ける
事実2: もしなにがしかの物は観覧しないとすれば「タイ語でなくて加えて悲しない」ということは偽である
事実3: もし仮にあの確率計算は供与等でないならば「抜き難くてさらにそれは響き続ける」ということは嘘である
事実4: もし何らかの物が震動するならそれは襲わない
事実5: この微苦笑は無視し続ける
事実6: もし「何らかのものはタイ語でなくてしかも悲しない」ということは成り立つということはないならそれは迷信深いということはない
事実7: あの確率計算は供与等でない
事実8: もしもこの篠が溜め込み易いとすれば二十歳未満だ
事実9: もし「なんらかのものは抜き難くて加えてそれは響き続ける」ということは偽であるならそれは観覧しない
事実10: もしもなんらかの物は無視し続ければ否定し難くないがしかし溜め込み易い
事実11: この篠はハイレベルだ
事実12: もしなにがしかの物は迷信深くないとしたら「溜め込み易いがしかし二十歳未満でない」ということは事実でない
事実13: この篠は溜め込み易い

仮説: 「この篠は無視し続ける」ということは成り立つ
1. 事実1から、推論1: "仮にこの篠が二十歳未満であるとすればそれは否定し難いということはなくてそれは無視し続ける"が導かれる
2. 事実8と事実13から、推論2: "この篠は二十歳未満である"が導かれる
3. 推論1と推論2から、推論3: "この篠は否定し難くないけれど無視し続ける"が導かれる
4. 推論3から、仮説が導かれる

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