あの腕枕はけろっとするということはない
fact1: あの腕枕は受け易い fact2: あの認知レベルが成立し得るとしたらあの腕枕はけろっとする fact3: もしもこの製パン職人が研削するならばあの実現は変質する fact4: 「何かは赤しないが料理する」ということは嘘であるとするとそれは料理しない fact5: もし「あの精神療法は受け易い」ということは本当であるならあの認知レベルは応募するということはないが成立し得る fact6: もし仮にこの歩行器は遅れ易くないとしたら「あのオレンジ・ビーチは赤しないけど料理する」ということは真実でない fact7: 仮にあの実現は変質すれば「流通するけれど人々以外でない」ということは成り立たない fact8: あの精神療法は受け易い fact9: なにがしかの物が彼女自身であるとすると受け易くてまたそれは始めない fact10: あの精神療法は成立し得る fact11: そのアクリルビーズは応募する fact12: もしもあの認知レベルが流通しないとするとあの精神療法が彼女自身だしさらにそれは温め直す fact13: この人事考課制度が撲滅しないならこの製パン職人は研削するかまたはそれは変質する fact14: あの認知レベルは拙くない fact15: この歩行器は遅れ易くない fact16: 「あの被扶養者は応募する」ということは成り立つ fact17: あの認知レベルはけろっとする fact18: あの精神療法はけろっとするということはない fact19: あの認知レベルは応募しないがしかしそれはけろっとする fact20: もしあの精神療法は受け易いがしかし始めないとすればあの腕枕はけろっとしない fact21: もし仮に「あのオレンジ・ビーチは料理しない」ということは事実と異ならないとしたらこの人事考課制度は伏せるけど撲滅するということはない
fact5 & fact8 -> int1: あの認知レベルは応募しない一方でそれは成立し得る; int1 -> int2: 「あの認知レベルは成立し得る」ということは正しい; int2 & fact2 -> hypothesis;
fact5 & fact8 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact2 -> hypothesis;
あの腕枕はけろっとしない
fact29 -> int3: もしもあの精神療法は彼女自身であるとすると受け易い一方で始めない; fact31 -> int4: もし「あのオレンジ・ビーチは赤しないがしかし料理する」ということは間違っているとすればそれは料理しない; fact24 & fact25 -> int5: 「あのオレンジ・ビーチは赤しということはないがしかし料理する」ということは偽である; int4 & int5 -> int6: あのオレンジ・ビーチは料理しない; fact30 & int6 -> int7: この人事考課制度は伏せるが撲滅しない; int7 -> int8: この人事考課制度は撲滅しない; fact27 & int8 -> int9: 「この製パン職人は研削するか変質するかもしくはどちらもだ」ということは事実だ;
$facts$ = fact1: あの腕枕は受け易い fact2: あの認知レベルが成立し得るとしたらあの腕枕はけろっとする fact3: もしもこの製パン職人が研削するならばあの実現は変質する fact4: 「何かは赤しないが料理する」ということは嘘であるとするとそれは料理しない fact5: もし「あの精神療法は受け易い」ということは本当であるならあの認知レベルは応募するということはないが成立し得る fact6: もし仮にこの歩行器は遅れ易くないとしたら「あのオレンジ・ビーチは赤しないけど料理する」ということは真実でない fact7: 仮にあの実現は変質すれば「流通するけれど人々以外でない」ということは成り立たない fact8: あの精神療法は受け易い fact9: なにがしかの物が彼女自身であるとすると受け易くてまたそれは始めない fact10: あの精神療法は成立し得る fact11: そのアクリルビーズは応募する fact12: もしもあの認知レベルが流通しないとするとあの精神療法が彼女自身だしさらにそれは温め直す fact13: この人事考課制度が撲滅しないならこの製パン職人は研削するかまたはそれは変質する fact14: あの認知レベルは拙くない fact15: この歩行器は遅れ易くない fact16: 「あの被扶養者は応募する」ということは成り立つ fact17: あの認知レベルはけろっとする fact18: あの精神療法はけろっとするということはない fact19: あの認知レベルは応募しないがしかしそれはけろっとする fact20: もしあの精神療法は受け易いがしかし始めないとすればあの腕枕はけろっとしない fact21: もし仮に「あのオレンジ・ビーチは料理しない」ということは事実と異ならないとしたらこの人事考課制度は伏せるけど撲滅するということはない ; $hypothesis$ = あの腕枕はけろっとするということはない ; $proof$ = 
fact5 & fact8 -> int1: あの認知レベルは応募しない一方でそれは成立し得る; int1 -> int2: 「あの認知レベルは成立し得る」ということは正しい; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あの腕枕は受け易い
事実2: あの認知レベルが成立し得るとしたらあの腕枕はけろっとする
事実3: もしもこの製パン職人が研削するならばあの実現は変質する
事実4: 「何かは赤しないが料理する」ということは嘘であるとするとそれは料理しない
事実5: もし「あの精神療法は受け易い」ということは本当であるならあの認知レベルは応募するということはないが成立し得る
事実6: もし仮にこの歩行器は遅れ易くないとしたら「あのオレンジ・ビーチは赤しないけど料理する」ということは真実でない
事実7: 仮にあの実現は変質すれば「流通するけれど人々以外でない」ということは成り立たない
事実8: あの精神療法は受け易い
事実9: なにがしかの物が彼女自身であるとすると受け易くてまたそれは始めない
事実10: あの精神療法は成立し得る
事実11: そのアクリルビーズは応募する
事実12: もしもあの認知レベルが流通しないとするとあの精神療法が彼女自身だしさらにそれは温め直す
事実13: この人事考課制度が撲滅しないならこの製パン職人は研削するかまたはそれは変質する
事実14: あの認知レベルは拙くない
事実15: この歩行器は遅れ易くない
事実16: 「あの被扶養者は応募する」ということは成り立つ
事実17: あの認知レベルはけろっとする
事実18: あの精神療法はけろっとするということはない
事実19: あの認知レベルは応募しないがしかしそれはけろっとする
事実20: もしあの精神療法は受け易いがしかし始めないとすればあの腕枕はけろっとしない
事実21: もし仮に「あのオレンジ・ビーチは料理しない」ということは事実と異ならないとしたらこの人事考課制度は伏せるけど撲滅するということはない

仮説: あの腕枕はけろっとするということはない
1. 事実5と事実8から、推論1: "あの認知レベルは応募しない一方でそれは成立し得る"が導かれる
2. 推論1から、推論2: "「あの認知レベルは成立し得る」ということは正しい"が導かれる
3. 推論2と事実2から、仮説が否定される

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