この使場は小煩くない
fact1: どれもこれもは青白くない fact2: 仮にその母鳥が孵化過程でないとしたらその蝙蝠は区分経理で加えて最高人民会議である fact3: もし仮に「その母鳥は使い難いけれど抜き差すということはない」ということは間違っているならその蝙蝠は抜き差さない fact4: すべての物は表式でない fact5: ある物はクリックしないがしかし区分経理だとしたら小煩くない fact6: この使場は苦闘しない fact7: あらゆる物は小煩くない fact8: もし仮にとあるものはめでたしないなら「それは使い難いしまたそれは抜き差さない」ということは成り立たない fact9: この使場は偉くない fact10: 「もしも「眠たい」ものはあるなら「その母鳥は掛かり難い一方で眠たくない」ということは成り立たない」ということは真実である fact11: その出がＤ高校ならそれは眠たい fact12: あらゆるものは敗走するということはない fact13: 最高人民会議はクリックしないけど区分経理である fact14: もし「何らかのものは掛かり難いがしかし眠たくない」ということは事実と異なるとするとそれはめでたしない fact15: その出はＤ高校だ fact16: その蝙蝠がクリックしないかまたは小煩いかもしくは両方ならばこの使場は小煩い fact17: すべての物は人工甘味料でない fact18: 仮になにかは執行価格でないとすれば最高人民会議であるしかつ孵化過程だ fact19: 仮にその蝙蝠は抜き差さないならば「この拉致は住み易い」ということは成り立つ fact20: 全ては突破出来ない fact21: 住み易い物は執行価格でない
fact7 -> hypothesis;
fact7 -> 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$ = 
fact7 -> hypothesis; __PROVED__
事実1: どれもこれもは青白くない
事実2: 仮にその母鳥が孵化過程でないとしたらその蝙蝠は区分経理で加えて最高人民会議である
事実3: もし仮に「その母鳥は使い難いけれど抜き差すということはない」ということは間違っているならその蝙蝠は抜き差さない
事実4: すべての物は表式でない
事実5: ある物はクリックしないがしかし区分経理だとしたら小煩くない
事実6: この使場は苦闘しない
事実7: あらゆる物は小煩くない
事実8: もし仮にとあるものはめでたしないなら「それは使い難いしまたそれは抜き差さない」ということは成り立たない
事実9: この使場は偉くない
事実10: 「もしも「眠たい」ものはあるなら「その母鳥は掛かり難い一方で眠たくない」ということは成り立たない」ということは真実である
事実11: その出がＤ高校ならそれは眠たい
事実12: あらゆるものは敗走するということはない
事実13: 最高人民会議はクリックしないけど区分経理である
事実14: もし「何らかのものは掛かり難いがしかし眠たくない」ということは事実と異なるとするとそれはめでたしない
事実15: その出はＤ高校だ
事実16: その蝙蝠がクリックしないかまたは小煩いかもしくは両方ならばこの使場は小煩い
事実17: すべての物は人工甘味料でない
事実18: 仮になにかは執行価格でないとすれば最高人民会議であるしかつ孵化過程だ
事実19: 仮にその蝙蝠は抜き差さないならば「この拉致は住み易い」ということは成り立つ
事実20: 全ては突破出来ない
事実21: 住み易い物は執行価格でない

仮説: この使場は小煩くない
1. 事実7から、仮説が導かれる

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