あの同属は吊り易くない
fact1: あの女名前はめんどい fact2: 何かはゴーヤーマンでないとするとそれはアメリカ流である fact3: その当艦は退行するしその上洒落臭い fact4: その渡来人は小ガーゼでしかも返る fact5: その当艦は打ち合わせするかあるいは毒々しかないかもしくは両方ともだ fact6: もしその腸管吸収機構がめんどいしさらにそれが洒落臭いとしたら合成出来ない fact7: もしもその当艦が洒落臭いということはないならその腸管吸収機構は生還だ fact8: あの降は着くしコストパフォーマンスだ fact9: その当艦は生還でない fact10: もし「その腸管吸収機構は合成出来ない」ということは本当だとするとあの同属は吊り易い fact11: その当艦は検討し直すし瑞泉寺である fact12: その当艦は湧き出るししかも卑し fact13: もし仮に「何かは毒々しいかもしくはそれは戻り易くないかもしくはどちらもである」ということは成り立つなら「それはめんどい」ということは成り立つ fact14: もしその当艦が吊り易くないとするとそれは生還だ fact15: あのアーチ型は吊り易くて当該化学物質である fact16: もしもあるものが合成出来るということはないとするとそれは生還だ fact17: その腸管吸収機構は芽摘みするし毒々しい fact18: あの同属は内的故障であるしかつそれは複数登録する fact19: もしもその腸管吸収機構が洒落臭くないとするとあの同属は毒々しくてそれに戻り易い fact20: このリズは芽摘みする fact21: もし「その当艦は生還でない」ということは真実であるとすればその腸管吸収機構は洒落臭いし更にそれは指導体制だ fact22: その腸管吸収機構は湿っぽい fact23: もしもなにがしかの物が芽摘みするということはないならそれは洒落臭い fact24: 「その腸管吸収機構は吊り易くないがしかし芽摘みする」ということは間違いであるならあの同属は吊り易くない fact25: もし仮にその当艦が合成出来ないならばその腸管吸収機構は芽摘みする
fact17 -> int1: その腸管吸収機構は毒々しい; int1 -> int2: その腸管吸収機構は毒々しいかもしくは戻り易くない; fact13 -> int3: 仮にその腸管吸収機構は毒々しいか戻り易くないとしたら「めんどい」ということは正しい; int2 & int3 -> int4: その腸管吸収機構はめんどい; fact9 & fact21 -> int5: 「その腸管吸収機構は洒落臭いし加えてそれは指導体制だ」ということは本当である; int5 -> int6: その腸管吸収機構は洒落臭い; int4 & int6 -> int7: その腸管吸収機構がめんどいしその上洒落臭い; int7 & fact6 -> int8: その腸管吸収機構は合成出来ない; int8 & fact10 -> hypothesis;
あの同属は吊り易くない
$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: 「その腸管吸収機構は吊り易くないがしかし芽摘みする」ということは間違いであるならあの同属は吊り易くない fact25: もし仮にその当艦が合成出来ないならばその腸管吸収機構は芽摘みする ; $hypothesis$ = あの同属は吊り易くない ; $proof$ = 
fact17 -> int1: その腸管吸収機構は毒々しい; int1 -> int2: その腸管吸収機構は毒々しいかもしくは戻り易くない; fact13 -> int3: 仮にその腸管吸収機構は毒々しいか戻り易くないとしたら「めんどい」ということは正しい; int2 & int3 -> int4: その腸管吸収機構はめんどい; fact9 & fact21 -> int5: 「その腸管吸収機構は洒落臭いし加えてそれは指導体制だ」ということは本当である; int5 -> int6: その腸管吸収機構は洒落臭い; int4 & int6 -> int7: その腸管吸収機構がめんどいしその上洒落臭い; int7 & fact6 -> int8: その腸管吸収機構は合成出来ない; int8 & fact10 -> 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: 「その腸管吸収機構は吊り易くないがしかし芽摘みする」ということは間違いであるならあの同属は吊り易くない
事実25: もし仮にその当艦が合成出来ないならばその腸管吸収機構は芽摘みする

仮説: あの同属は吊り易くない
1. 事実17から、推論1: "その腸管吸収機構は毒々しい"が導かれる
2. 推論1から、推論2: "その腸管吸収機構は毒々しいかもしくは戻り易くない"が導かれる
3. 事実13から、推論3: "仮にその腸管吸収機構は毒々しいか戻り易くないとしたら「めんどい」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "その腸管吸収機構はめんどい"が導かれる
5. 事実9と事実21から、推論5: "「その腸管吸収機構は洒落臭いし加えてそれは指導体制だ」ということは本当である"が導かれる
6. 推論5から、推論6: "その腸管吸収機構は洒落臭い"が導かれる
7. 推論4と推論6から、推論7: "その腸管吸収機構がめんどいしその上洒落臭い"が導かれる
8. 推論7と事実6から、推論8: "その腸管吸収機構は合成出来ない"が導かれる
9. 推論8と事実10から、仮説が否定される

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