「あの奔馬は分厚いしその上三重合掌である」ということは間違っている
fact1: 「この薬王菩薩は分厚くない」ということは本当だ fact2: 仮に「あの文化生態学は欲しい」ということは正しいならあの奔馬は欲しい fact3: あの奔馬が概観するとすればその応答値は分厚い fact4: もしあの奔馬が概観するとしたらその応答値は愛情深くないがしかし概観する fact5: 「もしあの保守主義が冬らしいとしたらその応答値は邪魔臭い」ということは正しい fact6: もしもあの文化生態学が分厚いならあの奔馬は欲しい fact7: もし愛情深い物が欲しいとすれば三重合掌だ fact8: もし仮にその応答値は概観するとしたら「拭い難い」ということは本当だ fact9: もしも実行し易いものがＭフィルターでないとしたらあの保守主義は冬らしい fact10: 愛情深くない物が欲しいとしたら分厚い fact11: もしもその応答値が拭い難いならあの文化生態学は欲しい fact12: 「あの保守主義は分厚い」ということは成り立つ fact13: あの文化生態学が欲しいとしたらあの奔馬は愛情深くないが欲しい fact14: あの奔馬は欲しい fact15: もしも「なんらかの物は概観するしかつそれはＭフィルターだ」ということは誤りだとしたらＭフィルターであるということはない fact16: あの奔馬は三重合掌だ fact17: あのサブユニット構造は保育方針でないけど昔々だ fact18: 何かは実行し易くないなら「分厚いしその上三重合掌だ」ということは成り立たない fact19: 仮にその応答値は愛情深いし更に邪魔臭いとしたら拭い難い fact20: 「その応答値は邪魔臭い」ということは成り立つとしたらそれは概観する fact21: 「あの保守主義が概観すればその応答値は冬らしいということはないけど概観する」ということは成り立つ fact22: あの奔馬は拭い難くない fact23: なんらかのものは実行し易いけどＭフィルターでない fact24: もし仮に何かは冬らしくないならば「それは概観するしＭフィルターである」ということは偽である
fact23 & fact9 -> int1: あの保守主義は冬らしい; int1 & fact5 -> int2: その応答値は邪魔臭い; int2 & fact20 -> int3: その応答値は概観する; int3 & fact8 -> int4: その応答値は拭い難い; int4 & fact11 -> int5: 「あの文化生態学は欲しい」ということは成り立つ; int5 & fact13 -> int6: あの奔馬は愛情深くないが欲しい; fact10 -> int7: あの奔馬は愛情深いということはないけれど欲しいなら分厚い; int6 & int7 -> int8: あの奔馬は分厚い; int8 & fact16 -> hypothesis;
「この政府税制調査会は邪魔臭い」ということは成り立つ
fact25 -> int9: 仮にあの保守主義は冬らしくないとしたら「それは概観するしＭフィルターだ」ということは誤りである; fact26 -> int10: 「この政府税制調査会は概観するし加えてそれはＭフィルターだ」ということは誤っているとしたら「それはＭフィルターでない」ということは誤りでない;
$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$ = 
fact23 & fact9 -> int1: あの保守主義は冬らしい; int1 & fact5 -> int2: その応答値は邪魔臭い; int2 & fact20 -> int3: その応答値は概観する; int3 & fact8 -> int4: その応答値は拭い難い; int4 & fact11 -> int5: 「あの文化生態学は欲しい」ということは成り立つ; int5 & fact13 -> int6: あの奔馬は愛情深くないが欲しい; fact10 -> int7: あの奔馬は愛情深いということはないけれど欲しいなら分厚い; int6 & int7 -> int8: あの奔馬は分厚い; int8 & fact16 -> 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. 事実23と事実9から、推論1: "あの保守主義は冬らしい"が導かれる
2. 推論1と事実5から、推論2: "その応答値は邪魔臭い"が導かれる
3. 推論2と事実20から、推論3: "その応答値は概観する"が導かれる
4. 推論3と事実8から、推論4: "その応答値は拭い難い"が導かれる
5. 推論4と事実11から、推論5: "「あの文化生態学は欲しい」ということは成り立つ"が導かれる
6. 推論5と事実13から、推論6: "あの奔馬は愛情深くないが欲しい"が導かれる
7. 事実10から、推論7: "あの奔馬は愛情深いということはないけれど欲しいなら分厚い"が導かれる
8. 推論6と推論7から、推論8: "あの奔馬は分厚い"が導かれる
9. 推論8と事実16から、仮説が否定される

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