あの固有値は季節調整値でない
fact1: あの固有値は味方する fact2: もしもあの固有値が改善出来るなら化学教師だ fact3: 「あの固有値は改善出来る」ということは事実である fact4: あの固有値は批准する fact5: あの固有値は経口摂取する fact6: 仮になんらかの物は化学教師だし加えて聞き辛いとしたら季節調整値でない fact7: もし仮にあの掘り抜き井戸が荒々しくないとしたらこの受注者は化学教師で聞き辛い fact8: 「「底堅くないけれど頼み難い」ということは間違いな」物はある fact9: このコーピングは季節調整値でない fact10: 仮にあの固有値が広ーいとすればそれは出す fact11: あの固有値は淡い fact12: あの固有値は激怒する fact13: もしもなにかは洗脳するしだぶつくとしたらそれは取り纏めない fact14: 仮に「「底堅くないしその上頼み難い」ということは成り立たない」物があるとしたらあの掘り抜き井戸は荒々しくない fact15: あの合衆国憲法は改善出来ない fact16: あの固有値は聞き辛くて加えてそれは激怒する
fact2 & fact3 -> int1: あの固有値は化学教師だ; fact16 -> int2: あの固有値は聞き辛い; int1 & int2 -> int3: あの固有値が化学教師だしさらに聞き辛い; fact6 -> int4: もしもあの固有値が化学教師であるしそれは聞き辛いならば「季節調整値だということはない」ということは成り立つ; int3 & int4 -> hypothesis;
あの固有値は季節調整値である
fact19 & fact18 -> int5: あの掘り抜き井戸は荒々しくない; fact17 & int5 -> int6: この受注者は化学教師であるしその上それは聞き辛い; int6 -> int7: この受注者は化学教師だ;
$facts$ = fact1: あの固有値は味方する fact2: もしもあの固有値が改善出来るなら化学教師だ fact3: 「あの固有値は改善出来る」ということは事実である fact4: あの固有値は批准する fact5: あの固有値は経口摂取する fact6: 仮になんらかの物は化学教師だし加えて聞き辛いとしたら季節調整値でない fact7: もし仮にあの掘り抜き井戸が荒々しくないとしたらこの受注者は化学教師で聞き辛い fact8: 「「底堅くないけれど頼み難い」ということは間違いな」物はある fact9: このコーピングは季節調整値でない fact10: 仮にあの固有値が広ーいとすればそれは出す fact11: あの固有値は淡い fact12: あの固有値は激怒する fact13: もしもなにかは洗脳するしだぶつくとしたらそれは取り纏めない fact14: 仮に「「底堅くないしその上頼み難い」ということは成り立たない」物があるとしたらあの掘り抜き井戸は荒々しくない fact15: あの合衆国憲法は改善出来ない fact16: あの固有値は聞き辛くて加えてそれは激怒する ; $hypothesis$ = あの固有値は季節調整値でない ; $proof$ = 
fact2 & fact3 -> int1: あの固有値は化学教師だ; fact16 -> int2: あの固有値は聞き辛い; int1 & int2 -> int3: あの固有値が化学教師だしさらに聞き辛い; fact6 -> int4: もしもあの固有値が化学教師であるしそれは聞き辛いならば「季節調整値だということはない」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: あの固有値は味方する
事実2: もしもあの固有値が改善出来るなら化学教師だ
事実3: 「あの固有値は改善出来る」ということは事実である
事実4: あの固有値は批准する
事実5: あの固有値は経口摂取する
事実6: 仮になんらかの物は化学教師だし加えて聞き辛いとしたら季節調整値でない
事実7: もし仮にあの掘り抜き井戸が荒々しくないとしたらこの受注者は化学教師で聞き辛い
事実8: 「「底堅くないけれど頼み難い」ということは間違いな」物はある
事実9: このコーピングは季節調整値でない
事実10: 仮にあの固有値が広ーいとすればそれは出す
事実11: あの固有値は淡い
事実12: あの固有値は激怒する
事実13: もしもなにかは洗脳するしだぶつくとしたらそれは取り纏めない
事実14: 仮に「「底堅くないしその上頼み難い」ということは成り立たない」物があるとしたらあの掘り抜き井戸は荒々しくない
事実15: あの合衆国憲法は改善出来ない
事実16: あの固有値は聞き辛くて加えてそれは激怒する

仮説: あの固有値は季節調整値でない
1. 事実2と事実3から、推論1: "あの固有値は化学教師だ"が導かれる
2. 事実16から、推論2: "あの固有値は聞き辛い"が導かれる
3. 推論1と推論2から、推論3: "あの固有値が化学教師だしさらに聞き辛い"が導かれる
4. 事実6から、推論4: "もしもあの固有値が化学教師であるしそれは聞き辛いならば「季節調整値だということはない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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