その主効果は小汚くない
fact1: もし仮にあの体位変換が軽空母でないとすればそれは家出する fact2: 仮に「なにかは小汚いけど杓子だということはない」ということは誤りだとするとそれは小汚くない fact3: あの体位変換は伝わり易いとすれば「その主効果は小汚いがしかし杓子でない」ということは正しくない fact4: あの体位変換は軽空母でない fact5: そのアレルギー性鼻炎は認知療法でないし魏使達でない fact6: もしその主効果が伝わり易いならばそれは杓子である fact7: 仮にあの体位変換が軽空母でないとすれば貧乏臭いということはないがしかし家出する fact8: もしそのアレルギー性鼻炎が海兵隊員だとすればあの金融不安は海兵隊員だ fact9: 仮にあの嫌気状態が赤ランプでないとすればあの内部安定は家出するが軽空母でない fact10: もしもとあるものがのたうち回るとすればあの嫌気状態は赤ランプでない fact11: もしその主効果は杓子だとすれば「あの体位変換は貧乏臭い」ということは確かだ fact12: あの体位変換は家出する fact13: とあるものが伝わり易くないとすればそれは小汚い fact14: もし「この金融不安は海兵隊員である」ということは確かだとしたらそれはのたうち回る fact15: もし仮にそのアレルギー性鼻炎が認知療法でなくてそれは魏使達であるということはないとすればそれは海兵隊員だ
void -> assump1: 以下のように仮定する。その主効果は伝わり易い; fact6 & assump1 -> int1: その主効果は杓子だ; int1 & fact11 -> int2: あの体位変換は貧乏臭い; fact7 & fact4 -> int3: あの体位変換は貧乏臭いということはないけど家出する; int3 -> int4: あの体位変換は貧乏臭くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その主効果は伝わり易くない; fact13 -> int7: 「その主効果は伝わり易くない」ということは真実だとすればそれは小汚い; int6 & int7 -> hypothesis;
その主効果は小汚くない
fact20 -> int8: もし仮に「その主効果は小汚いけど杓子でない」ということは事実と異なるとしたら小汚くない; fact18 & fact16 -> int9: そのアレルギー性鼻炎は海兵隊員である; fact21 & int9 -> int10: この金融不安は海兵隊員だ; fact22 & int10 -> int11: 「この金融不安はのたうち回る」ということは成り立つ; int11 -> int12: 「「のたうち回る」ということは確かな」物はある; int12 & fact17 -> int13: あの嫌気状態は赤ランプでない; fact19 & int13 -> int14: あの内部安定は家出するが軽空母でない; int14 -> int15: あの内部安定は家出する; int15 -> int16: 「家出する」ものはある;
$facts$ = fact1: もし仮にあの体位変換が軽空母でないとすればそれは家出する fact2: 仮に「なにかは小汚いけど杓子だということはない」ということは誤りだとするとそれは小汚くない fact3: あの体位変換は伝わり易いとすれば「その主効果は小汚いがしかし杓子でない」ということは正しくない fact4: あの体位変換は軽空母でない fact5: そのアレルギー性鼻炎は認知療法でないし魏使達でない fact6: もしその主効果が伝わり易いならばそれは杓子である fact7: 仮にあの体位変換が軽空母でないとすれば貧乏臭いということはないがしかし家出する fact8: もしそのアレルギー性鼻炎が海兵隊員だとすればあの金融不安は海兵隊員だ fact9: 仮にあの嫌気状態が赤ランプでないとすればあの内部安定は家出するが軽空母でない fact10: もしもとあるものがのたうち回るとすればあの嫌気状態は赤ランプでない fact11: もしその主効果は杓子だとすれば「あの体位変換は貧乏臭い」ということは確かだ fact12: あの体位変換は家出する fact13: とあるものが伝わり易くないとすればそれは小汚い fact14: もし「この金融不安は海兵隊員である」ということは確かだとしたらそれはのたうち回る fact15: もし仮にそのアレルギー性鼻炎が認知療法でなくてそれは魏使達であるということはないとすればそれは海兵隊員だ ; $hypothesis$ = その主効果は小汚くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その主効果は伝わり易い; fact6 & assump1 -> int1: その主効果は杓子だ; int1 & fact11 -> int2: あの体位変換は貧乏臭い; fact7 & fact4 -> int3: あの体位変換は貧乏臭いということはないけど家出する; int3 -> int4: あの体位変換は貧乏臭くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その主効果は伝わり易くない; fact13 -> int7: 「その主効果は伝わり易くない」ということは真実だとすればそれは小汚い; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの体位変換が軽空母でないとすればそれは家出する
事実2: 仮に「なにかは小汚いけど杓子だということはない」ということは誤りだとするとそれは小汚くない
事実3: あの体位変換は伝わり易いとすれば「その主効果は小汚いがしかし杓子でない」ということは正しくない
事実4: あの体位変換は軽空母でない
事実5: そのアレルギー性鼻炎は認知療法でないし魏使達でない
事実6: もしその主効果が伝わり易いならばそれは杓子である
事実7: 仮にあの体位変換が軽空母でないとすれば貧乏臭いということはないがしかし家出する
事実8: もしそのアレルギー性鼻炎が海兵隊員だとすればあの金融不安は海兵隊員だ
事実9: 仮にあの嫌気状態が赤ランプでないとすればあの内部安定は家出するが軽空母でない
事実10: もしもとあるものがのたうち回るとすればあの嫌気状態は赤ランプでない
事実11: もしその主効果は杓子だとすれば「あの体位変換は貧乏臭い」ということは確かだ
事実12: あの体位変換は家出する
事実13: とあるものが伝わり易くないとすればそれは小汚い
事実14: もし「この金融不安は海兵隊員である」ということは確かだとしたらそれはのたうち回る
事実15: もし仮にそのアレルギー性鼻炎が認知療法でなくてそれは魏使達であるということはないとすればそれは海兵隊員だ

仮説: その主効果は小汚くない
1. 仮定1: 以下のように仮定する。その主効果は伝わり易い
2. 事実6と仮定1から、推論1: "その主効果は杓子だ"が導かれる
3. 推論1と事実11から、推論2: "あの体位変換は貧乏臭い"が導かれる
4. 事実7と事実4から、推論3: "あの体位変換は貧乏臭いということはないけど家出する"が導かれる
5. 推論3から、推論4: "あの体位変換は貧乏臭くない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その主効果は伝わり易くない"が導かれる
8. 事実13から、推論7: "「その主効果は伝わり易くない」ということは真実だとすればそれは小汚い"が導かれる
9. 推論6と推論7から、仮説が否定される

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