この試料中は大臣室である
fact1: もしもこのエスコートはめでたしないとすると「この東禅寺は茶色いし例外無い」ということは成り立たない fact2: もし仮になんらかのものがめでたしかフロー図だとすればそれは馬鹿馬鹿しいということはない fact3: もし仮に「この東禅寺はうっそりでないが例外無い」ということは真実でないとするとこの試料中はめでたしない fact4: もし「あるものはうっそりであるし馬鹿馬鹿しい」ということは誤りであるとしたら「それは大臣室でない」ということは成り立つ fact5: もしもこの東禅寺はフロー図だということはないかまたはめでたしかもしくは両方ともであるとしたら「このエスコートは撥ね回るということはない」ということは成り立つ fact6: 仮にこのエスコートが茶色いならばそれは馬鹿馬鹿しかない fact7: 仮にこの東禅寺は大臣室であるとすると「例外無い」ということは正しい fact8: 「もしもあの核左方移動は排気ガス対策でないとすると「この試料中はうっそりであるしさらに馬鹿馬鹿しい」ということは間違いだ」ということは正しい fact9: 茶色い物はフロー図でないかめでたしかもしくはどちらもだ fact10: もしこのエスコートがめでたしとしたらそれはフロー図である fact11: もし仮に「この東禅寺は例外無いしフロー図だ」ということは間違いだとしたら茶色くない fact12: 「この試料中は馬鹿馬鹿しいしその上例外無い」ということは誤りである fact13: このエスコートは例外無くないとすると「この東禅寺は例外無くないがしかし撥ね回る」ということは事実と異なる fact14: もしもとある物は茶色いかまたはフロー図だとすると例外無くない fact15: もしもこの東禅寺がめでたしないとするとそれは撥ね回らない fact16: このエスコートはうっそりでない fact17: 理解し難いものは進行しない fact18: この東禅寺はフロー図であるということはないなら「このエスコートはフロー図で例外無い」ということは誤っている fact19: もしこの試料中が馬鹿馬鹿しかないならそれは大臣室でない fact20: 「この東禅寺は例外無くないけどそれは撥ね回る」ということは嘘であるならばあの核左方移動は排気ガス対策でない fact21: 「このエスコートはめでたし」ということは本当だ fact22: この試料中は撥ね回るかもしくは大臣室であるかどちらもだ fact23: もし仮にこの試料中は茶色くないとすれば「このエスコートはめでたしし更にそれは馬鹿馬鹿しい」ということは偽である fact24: 「この東禅寺は排気ガス対策だし加えて撥ね回る」ということは成り立つということはない
fact10 & fact21 -> int1: このエスコートはフロー図である; int1 -> int2: このエスコートは茶色いかまたはフロー図である; fact14 -> int3: もしこのエスコートが茶色いかまたはそれはフロー図であるかあるいはどちらもであるとすればそれは例外無くない; int2 & int3 -> int4: このエスコートは例外無くない; int4 & fact13 -> int5: 「この東禅寺は例外無くないけど撥ね回る」ということは成り立つということはない; int5 & fact20 -> int6: あの核左方移動は排気ガス対策でない; int6 & fact8 -> int7: 「この試料中はうっそりだしその上馬鹿馬鹿しい」ということは成り立たない; fact4 -> int8: 「この試料中はうっそりだし加えて馬鹿馬鹿しい」ということは誤りだとすれば大臣室でない; int7 & int8 -> hypothesis;
このエスコートは撥ね回らない
fact25 -> int9: もしも「この東禅寺は茶色い」ということは誤りでないとすればフロー図であるということはないかめでたしかまたは両方ともだ;
$facts$ = fact1: もしもこのエスコートはめでたしないとすると「この東禅寺は茶色いし例外無い」ということは成り立たない fact2: もし仮になんらかのものがめでたしかフロー図だとすればそれは馬鹿馬鹿しいということはない fact3: もし仮に「この東禅寺はうっそりでないが例外無い」ということは真実でないとするとこの試料中はめでたしない fact4: もし「あるものはうっそりであるし馬鹿馬鹿しい」ということは誤りであるとしたら「それは大臣室でない」ということは成り立つ fact5: もしもこの東禅寺はフロー図だということはないかまたはめでたしかもしくは両方ともであるとしたら「このエスコートは撥ね回るということはない」ということは成り立つ fact6: 仮にこのエスコートが茶色いならばそれは馬鹿馬鹿しかない fact7: 仮にこの東禅寺は大臣室であるとすると「例外無い」ということは正しい fact8: 「もしもあの核左方移動は排気ガス対策でないとすると「この試料中はうっそりであるしさらに馬鹿馬鹿しい」ということは間違いだ」ということは正しい fact9: 茶色い物はフロー図でないかめでたしかもしくはどちらもだ fact10: もしこのエスコートがめでたしとしたらそれはフロー図である fact11: もし仮に「この東禅寺は例外無いしフロー図だ」ということは間違いだとしたら茶色くない fact12: 「この試料中は馬鹿馬鹿しいしその上例外無い」ということは誤りである fact13: このエスコートは例外無くないとすると「この東禅寺は例外無くないがしかし撥ね回る」ということは事実と異なる fact14: もしもとある物は茶色いかまたはフロー図だとすると例外無くない fact15: もしもこの東禅寺がめでたしないとするとそれは撥ね回らない fact16: このエスコートはうっそりでない fact17: 理解し難いものは進行しない fact18: この東禅寺はフロー図であるということはないなら「このエスコートはフロー図で例外無い」ということは誤っている fact19: もしこの試料中が馬鹿馬鹿しかないならそれは大臣室でない fact20: 「この東禅寺は例外無くないけどそれは撥ね回る」ということは嘘であるならばあの核左方移動は排気ガス対策でない fact21: 「このエスコートはめでたし」ということは本当だ fact22: この試料中は撥ね回るかもしくは大臣室であるかどちらもだ fact23: もし仮にこの試料中は茶色くないとすれば「このエスコートはめでたしし更にそれは馬鹿馬鹿しい」ということは偽である fact24: 「この東禅寺は排気ガス対策だし加えて撥ね回る」ということは成り立つということはない ; $hypothesis$ = この試料中は大臣室である ; $proof$ = 
fact10 & fact21 -> int1: このエスコートはフロー図である; int1 -> int2: このエスコートは茶色いかまたはフロー図である; fact14 -> int3: もしこのエスコートが茶色いかまたはそれはフロー図であるかあるいはどちらもであるとすればそれは例外無くない; int2 & int3 -> int4: このエスコートは例外無くない; int4 & fact13 -> int5: 「この東禅寺は例外無くないけど撥ね回る」ということは成り立つということはない; int5 & fact20 -> int6: あの核左方移動は排気ガス対策でない; int6 & fact8 -> int7: 「この試料中はうっそりだしその上馬鹿馬鹿しい」ということは成り立たない; fact4 -> int8: 「この試料中はうっそりだし加えて馬鹿馬鹿しい」ということは誤りだとすれば大臣室でない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしもこのエスコートはめでたしないとすると「この東禅寺は茶色いし例外無い」ということは成り立たない
事実2: もし仮になんらかのものがめでたしかフロー図だとすればそれは馬鹿馬鹿しいということはない
事実3: もし仮に「この東禅寺はうっそりでないが例外無い」ということは真実でないとするとこの試料中はめでたしない
事実4: もし「あるものはうっそりであるし馬鹿馬鹿しい」ということは誤りであるとしたら「それは大臣室でない」ということは成り立つ
事実5: もしもこの東禅寺はフロー図だということはないかまたはめでたしかもしくは両方ともであるとしたら「このエスコートは撥ね回るということはない」ということは成り立つ
事実6: 仮にこのエスコートが茶色いならばそれは馬鹿馬鹿しかない
事実7: 仮にこの東禅寺は大臣室であるとすると「例外無い」ということは正しい
事実8: 「もしもあの核左方移動は排気ガス対策でないとすると「この試料中はうっそりであるしさらに馬鹿馬鹿しい」ということは間違いだ」ということは正しい
事実9: 茶色い物はフロー図でないかめでたしかもしくはどちらもだ
事実10: もしこのエスコートがめでたしとしたらそれはフロー図である
事実11: もし仮に「この東禅寺は例外無いしフロー図だ」ということは間違いだとしたら茶色くない
事実12: 「この試料中は馬鹿馬鹿しいしその上例外無い」ということは誤りである
事実13: このエスコートは例外無くないとすると「この東禅寺は例外無くないがしかし撥ね回る」ということは事実と異なる
事実14: もしもとある物は茶色いかまたはフロー図だとすると例外無くない
事実15: もしもこの東禅寺がめでたしないとするとそれは撥ね回らない
事実16: このエスコートはうっそりでない
事実17: 理解し難いものは進行しない
事実18: この東禅寺はフロー図であるということはないなら「このエスコートはフロー図で例外無い」ということは誤っている
事実19: もしこの試料中が馬鹿馬鹿しかないならそれは大臣室でない
事実20: 「この東禅寺は例外無くないけどそれは撥ね回る」ということは嘘であるならばあの核左方移動は排気ガス対策でない
事実21: 「このエスコートはめでたし」ということは本当だ
事実22: この試料中は撥ね回るかもしくは大臣室であるかどちらもだ
事実23: もし仮にこの試料中は茶色くないとすれば「このエスコートはめでたしし更にそれは馬鹿馬鹿しい」ということは偽である
事実24: 「この東禅寺は排気ガス対策だし加えて撥ね回る」ということは成り立つということはない

仮説: この試料中は大臣室である
1. 事実10と事実21から、推論1: "このエスコートはフロー図である"が導かれる
2. 推論1から、推論2: "このエスコートは茶色いかまたはフロー図である"が導かれる
3. 事実14から、推論3: "もしこのエスコートが茶色いかまたはそれはフロー図であるかあるいはどちらもであるとすればそれは例外無くない"が導かれる
4. 推論2と推論3から、推論4: "このエスコートは例外無くない"が導かれる
5. 推論4と事実13から、推論5: "「この東禅寺は例外無くないけど撥ね回る」ということは成り立つということはない"が導かれる
6. 推論5と事実20から、推論6: "あの核左方移動は排気ガス対策でない"が導かれる
7. 推論6と事実8から、推論7: "「この試料中はうっそりだしその上馬鹿馬鹿しい」ということは成り立たない"が導かれる
8. 事実4から、推論8: "「この試料中はうっそりだし加えて馬鹿馬鹿しい」ということは誤りだとすれば大臣室でない"が導かれる
9. 推論7と推論8から、仮説が否定される

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