その人気者は宇宙通信だ
fact1: もし仮に何かは輿でない一方でそれは栄養改善であるならばそれは見間違う fact2: もし「なにがしかのものは狩猟者でないが見間違う」ということは成り立たないならやくざっぽい fact3: あの従姪が輿だとするとその人気者は宇宙通信でなくてその上輿でない fact4: その人気者は吸い取らない fact5: 何らかの物が配慮しないしまたそれが栄養改善だということはないとすればそれは吸い取る fact6: もし「あの従姪はやくざっぽい」ということは成り立つならそれは輿だ fact7: もし仮にその人気者が栄養改善ならあの従姪は栄養改善であるということはない fact8: 仮にその去痰剤が纏まり易いとするとそれはやくざっぽい fact9: もしあの従姪は吸い取るとしたら「それは狩猟者でないけど見間違う」ということは嘘である fact10: あの従姪は配慮しなくて栄養改善であるということはない fact11: その人気者が輿だとすれば狩猟者だ fact12: 仮に「なにがしかの物は吸い取らないしそれに見間違わない」ということは成り立たないなら宇宙通信である fact13: その人気者は輿でない fact14: 「あの従姪は輿だ」ということは本当ならばその人気者が吸い取るということはないしさらにそれは輿でない fact15: もしもその精通はやくざっぽいということはないとすると「狩猟者であるし吸い取る」ということは間違いだ fact16: もし仮にその人気者はテキスタイルであるなら「輿であるし過ごせる」ということは真実でない
fact5 -> int1: もし仮にあの従姪は配慮しないしその上栄養改善でないならそれは吸い取る; int1 & fact10 -> int2: あの従姪は吸い取る; int2 & fact9 -> int3: 「「あの従姪は狩猟者でない一方で見間違う」ということは成り立つ」ということは誤りだ; fact2 -> int4: 「もし仮に「あの従姪は狩猟者でないがしかし見間違う」ということは成り立たないとしたらあの従姪はやくざっぽい」ということは成り立つ; int3 & int4 -> int5: 「あの従姪はやくざっぽい」ということは真実である; int5 & fact6 -> int6: あの従姪は輿だ; int6 & fact3 -> int7: その人気者は宇宙通信でなくておまけに輿でない; int7 -> hypothesis;
その精通は輿だ
$facts$ = fact1: もし仮に何かは輿でない一方でそれは栄養改善であるならばそれは見間違う fact2: もし「なにがしかのものは狩猟者でないが見間違う」ということは成り立たないならやくざっぽい fact3: あの従姪が輿だとするとその人気者は宇宙通信でなくてその上輿でない fact4: その人気者は吸い取らない fact5: 何らかの物が配慮しないしまたそれが栄養改善だということはないとすればそれは吸い取る fact6: もし「あの従姪はやくざっぽい」ということは成り立つならそれは輿だ fact7: もし仮にその人気者が栄養改善ならあの従姪は栄養改善であるということはない fact8: 仮にその去痰剤が纏まり易いとするとそれはやくざっぽい fact9: もしあの従姪は吸い取るとしたら「それは狩猟者でないけど見間違う」ということは嘘である fact10: あの従姪は配慮しなくて栄養改善であるということはない fact11: その人気者が輿だとすれば狩猟者だ fact12: 仮に「なにがしかの物は吸い取らないしそれに見間違わない」ということは成り立たないなら宇宙通信である fact13: その人気者は輿でない fact14: 「あの従姪は輿だ」ということは本当ならばその人気者が吸い取るということはないしさらにそれは輿でない fact15: もしもその精通はやくざっぽいということはないとすると「狩猟者であるし吸い取る」ということは間違いだ fact16: もし仮にその人気者はテキスタイルであるなら「輿であるし過ごせる」ということは真実でない ; $hypothesis$ = その人気者は宇宙通信だ ; $proof$ = 
fact5 -> int1: もし仮にあの従姪は配慮しないしその上栄養改善でないならそれは吸い取る; int1 & fact10 -> int2: あの従姪は吸い取る; int2 & fact9 -> int3: 「「あの従姪は狩猟者でない一方で見間違う」ということは成り立つ」ということは誤りだ; fact2 -> int4: 「もし仮に「あの従姪は狩猟者でないがしかし見間違う」ということは成り立たないとしたらあの従姪はやくざっぽい」ということは成り立つ; int3 & int4 -> int5: 「あの従姪はやくざっぽい」ということは真実である; int5 & fact6 -> int6: あの従姪は輿だ; int6 & fact3 -> int7: その人気者は宇宙通信でなくておまけに輿でない; int7 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは輿でない一方でそれは栄養改善であるならばそれは見間違う
事実2: もし「なにがしかのものは狩猟者でないが見間違う」ということは成り立たないならやくざっぽい
事実3: あの従姪が輿だとするとその人気者は宇宙通信でなくてその上輿でない
事実4: その人気者は吸い取らない
事実5: 何らかの物が配慮しないしまたそれが栄養改善だということはないとすればそれは吸い取る
事実6: もし「あの従姪はやくざっぽい」ということは成り立つならそれは輿だ
事実7: もし仮にその人気者が栄養改善ならあの従姪は栄養改善であるということはない
事実8: 仮にその去痰剤が纏まり易いとするとそれはやくざっぽい
事実9: もしあの従姪は吸い取るとしたら「それは狩猟者でないけど見間違う」ということは嘘である
事実10: あの従姪は配慮しなくて栄養改善であるということはない
事実11: その人気者が輿だとすれば狩猟者だ
事実12: 仮に「なにがしかの物は吸い取らないしそれに見間違わない」ということは成り立たないなら宇宙通信である
事実13: その人気者は輿でない
事実14: 「あの従姪は輿だ」ということは本当ならばその人気者が吸い取るということはないしさらにそれは輿でない
事実15: もしもその精通はやくざっぽいということはないとすると「狩猟者であるし吸い取る」ということは間違いだ
事実16: もし仮にその人気者はテキスタイルであるなら「輿であるし過ごせる」ということは真実でない

仮説: その人気者は宇宙通信だ
1. 事実5から、推論1: "もし仮にあの従姪は配慮しないしその上栄養改善でないならそれは吸い取る"が導かれる
2. 推論1と事実10から、推論2: "あの従姪は吸い取る"が導かれる
3. 推論2と事実9から、推論3: "「「あの従姪は狩猟者でない一方で見間違う」ということは成り立つ」ということは誤りだ"が導かれる
4. 事実2から、推論4: "「もし仮に「あの従姪は狩猟者でないがしかし見間違う」ということは成り立たないとしたらあの従姪はやくざっぽい」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "「あの従姪はやくざっぽい」ということは真実である"が導かれる
6. 推論5と事実6から、推論6: "あの従姪は輿だ"が導かれる
7. 推論6と事実3から、推論7: "その人気者は宇宙通信でなくておまけに輿でない"が導かれる
8. 推論7から、仮説が否定される

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