その隣接リストは左右され易い
fact1: もし「その隣接リストは左右され易いけれどそれは焦げ跡でない」ということは間違いだとしたらその対談集は堆い fact2: なんらかの物は祝うしそれは命じる fact3: もしなにかは百首歌であるならあのクロースターロード駅下車は其れらしくない fact4: もし仮に純生薬品が妬ましいとしたら現物出資法人でない fact5: もしもあのクロースターロード駅下車は其れらしくないとすると「あのＡ‐Ｄ変換値は堆いがしかし焦げ跡でない」ということは事実と異なる fact6: 堆い物はある fact7: あるものは焦げ跡である fact8: もしなにがしかのものは其れらしくないとしたら「それは左右され易いが焦げ跡でない」ということは間違いである fact9: その隣接リストは堆い fact10: もし「なにがしかのものは草原だ一方で百首歌でない」ということは誤りなら其れらしくない fact11: 焦げ跡が堆いとすればその隣接リストは左右され易い fact12: なんらかのものは焦げ跡であるしかつ堆い fact13: その同ページは堆い fact14: もしあるものが現物出資法人でないならばそれは百首歌だし加えて草原だ fact15: その内科学は純生薬品であるし妬ましい
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
その対談集は堆い
fact16 -> int1: もし仮にその隣接リストは其れらしくないとしたら「それは左右され易いが焦げ跡でない」ということは事実と異なる; fact18 -> int2: もしも「その隣接リストは草原である一方でそれは百首歌だということはない」ということは間違いであるとしたら其れらしくない;
$facts$ = fact1: もし「その隣接リストは左右され易いけれどそれは焦げ跡でない」ということは間違いだとしたらその対談集は堆い fact2: なんらかの物は祝うしそれは命じる fact3: もしなにかは百首歌であるならあのクロースターロード駅下車は其れらしくない fact4: もし仮に純生薬品が妬ましいとしたら現物出資法人でない fact5: もしもあのクロースターロード駅下車は其れらしくないとすると「あのＡ‐Ｄ変換値は堆いがしかし焦げ跡でない」ということは事実と異なる fact6: 堆い物はある fact7: あるものは焦げ跡である fact8: もしなにがしかのものは其れらしくないとしたら「それは左右され易いが焦げ跡でない」ということは間違いである fact9: その隣接リストは堆い fact10: もし「なにがしかのものは草原だ一方で百首歌でない」ということは誤りなら其れらしくない fact11: 焦げ跡が堆いとすればその隣接リストは左右され易い fact12: なんらかのものは焦げ跡であるしかつ堆い fact13: その同ページは堆い fact14: もしあるものが現物出資法人でないならばそれは百首歌だし加えて草原だ fact15: その内科学は純生薬品であるし妬ましい ; $hypothesis$ = その隣接リストは左右され易い ; $proof$ = 
fact12 & fact11 -> hypothesis; __PROVED__
事実1: もし「その隣接リストは左右され易いけれどそれは焦げ跡でない」ということは間違いだとしたらその対談集は堆い
事実2: なんらかの物は祝うしそれは命じる
事実3: もしなにかは百首歌であるならあのクロースターロード駅下車は其れらしくない
事実4: もし仮に純生薬品が妬ましいとしたら現物出資法人でない
事実5: もしもあのクロースターロード駅下車は其れらしくないとすると「あのＡ‐Ｄ変換値は堆いがしかし焦げ跡でない」ということは事実と異なる
事実6: 堆い物はある
事実7: あるものは焦げ跡である
事実8: もしなにがしかのものは其れらしくないとしたら「それは左右され易いが焦げ跡でない」ということは間違いである
事実9: その隣接リストは堆い
事実10: もし「なにがしかのものは草原だ一方で百首歌でない」ということは誤りなら其れらしくない
事実11: 焦げ跡が堆いとすればその隣接リストは左右され易い
事実12: なんらかのものは焦げ跡であるしかつ堆い
事実13: その同ページは堆い
事実14: もしあるものが現物出資法人でないならばそれは百首歌だし加えて草原だ
事実15: その内科学は純生薬品であるし妬ましい

仮説: その隣接リストは左右され易い
1. 事実12と事実11から、仮説が導かれる

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