この在来種は緊張し切る
fact1: もしも「騒がしい」物はあるとすると「その判例集は腫れぼったいけど飲み比べない」ということは本当である fact2: あの職歴は紛らわしい fact3: もしもなにがしかのものは製粉工場でないとするとそれは転がり出るかまたは分かり辛くない fact4: 「その外聞は分かり辛いということはない」ということは確かならこの電子メールシステムは転がり出るし緊張し切る fact5: この在来種はうざくない fact6: 仮に「その外聞は崩し易いかそれはうざくないかあるいはどちらもである」ということは成り立つとするとこの在来種は緊張し切らない fact7: もしその外聞が崩し易いならばこの在来種は緊張し切らない fact8: この電子メールシステムは調査するかもしくは崩し易いということはないかあるいはどちらもだ fact9: 仮にあの職歴が紛らわしいとしたら心弱い fact10: もしこの電子メールシステムが調査するかまたはそれが転がり出るとすればこのちょび髭は調査するということはない fact11: もしもこの在来種は崩し易いかまたは緊張し切らないかまたは両方ともであるとしたらその外聞はうざくない fact12: もしも「心弱い」物はあるとすれば「この処方薬は騒がしくない一方で危なっかしい」ということは偽だ fact13: 「この処方薬は騒がしくないが危なっかしい」ということは成り立たないならそれは騒がしい fact14: この電子メールシステムは調査する fact15: もしもこの電子メールシステムが調査するとすればその外聞は崩し易いかそれはうざいということはないかもしくはどちらもだ fact16: もしその判例集が腫れぼったいけど飲み比べないとするとその外聞は製粉工場でない
fact15 & fact14 -> int1: その外聞は崩し易いかそれはうざくないかあるいは両方ともである; int1 & fact6 -> hypothesis;
fact15 & fact14 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact6 -> hypothesis;
この在来種は緊張し切る
fact22 -> int2: 仮にその外聞が製粉工場でないとしたら転がり出るかもしくはそれは分かり辛くないかまたはどちらもだ; fact23 & fact19 -> int3: あの職歴は心弱い; int3 -> int4: 「心弱い」物はある; int4 & fact18 -> int5: 「この処方薬は騒がしくない一方で危なっかしい」ということは成り立たない; fact20 & int5 -> int6: 「この処方薬は騒がしい」ということは成り立つ; int6 -> int7: 「騒がしい」ものはある; int7 & fact17 -> int8: その判例集は腫れぼったいけれど飲み比べない; fact21 & int8 -> int9: その外聞は製粉工場でない; int2 & int9 -> int10: その外聞は転がり出るか分かり辛くない;
$facts$ = fact1: もしも「騒がしい」物はあるとすると「その判例集は腫れぼったいけど飲み比べない」ということは本当である fact2: あの職歴は紛らわしい fact3: もしもなにがしかのものは製粉工場でないとするとそれは転がり出るかまたは分かり辛くない fact4: 「その外聞は分かり辛いということはない」ということは確かならこの電子メールシステムは転がり出るし緊張し切る fact5: この在来種はうざくない fact6: 仮に「その外聞は崩し易いかそれはうざくないかあるいはどちらもである」ということは成り立つとするとこの在来種は緊張し切らない fact7: もしその外聞が崩し易いならばこの在来種は緊張し切らない fact8: この電子メールシステムは調査するかもしくは崩し易いということはないかあるいはどちらもだ fact9: 仮にあの職歴が紛らわしいとしたら心弱い fact10: もしこの電子メールシステムが調査するかまたはそれが転がり出るとすればこのちょび髭は調査するということはない fact11: もしもこの在来種は崩し易いかまたは緊張し切らないかまたは両方ともであるとしたらその外聞はうざくない fact12: もしも「心弱い」物はあるとすれば「この処方薬は騒がしくない一方で危なっかしい」ということは偽だ fact13: 「この処方薬は騒がしくないが危なっかしい」ということは成り立たないならそれは騒がしい fact14: この電子メールシステムは調査する fact15: もしもこの電子メールシステムが調査するとすればその外聞は崩し易いかそれはうざいということはないかもしくはどちらもだ fact16: もしその判例集が腫れぼったいけど飲み比べないとするとその外聞は製粉工場でない ; $hypothesis$ = この在来種は緊張し切る ; $proof$ = 
fact15 & fact14 -> int1: その外聞は崩し易いかそれはうざくないかあるいは両方ともである; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「騒がしい」物はあるとすると「その判例集は腫れぼったいけど飲み比べない」ということは本当である
事実2: あの職歴は紛らわしい
事実3: もしもなにがしかのものは製粉工場でないとするとそれは転がり出るかまたは分かり辛くない
事実4: 「その外聞は分かり辛いということはない」ということは確かならこの電子メールシステムは転がり出るし緊張し切る
事実5: この在来種はうざくない
事実6: 仮に「その外聞は崩し易いかそれはうざくないかあるいはどちらもである」ということは成り立つとするとこの在来種は緊張し切らない
事実7: もしその外聞が崩し易いならばこの在来種は緊張し切らない
事実8: この電子メールシステムは調査するかもしくは崩し易いということはないかあるいはどちらもだ
事実9: 仮にあの職歴が紛らわしいとしたら心弱い
事実10: もしこの電子メールシステムが調査するかまたはそれが転がり出るとすればこのちょび髭は調査するということはない
事実11: もしもこの在来種は崩し易いかまたは緊張し切らないかまたは両方ともであるとしたらその外聞はうざくない
事実12: もしも「心弱い」物はあるとすれば「この処方薬は騒がしくない一方で危なっかしい」ということは偽だ
事実13: 「この処方薬は騒がしくないが危なっかしい」ということは成り立たないならそれは騒がしい
事実14: この電子メールシステムは調査する
事実15: もしもこの電子メールシステムが調査するとすればその外聞は崩し易いかそれはうざいということはないかもしくはどちらもだ
事実16: もしその判例集が腫れぼったいけど飲み比べないとするとその外聞は製粉工場でない

仮説: この在来種は緊張し切る
1. 事実15と事実14から、推論1: "その外聞は崩し易いかそれはうざくないかあるいは両方ともである"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。