あの国勢は狭い
fact1: 仮にこのオープンキッチンが尤もらしいとするとその長幼は症例でないけどしょっぱい fact2: なにかは症例でしょっぱい fact3: 「あの国勢はけばけばしいということはない」ということは事実である fact4: もし仮に「症例でないししょっぱい」物があるとするとあの国勢は癌抑制遺伝子だ fact5: もし「あの国勢はけばけばしくない」ということは確かであるならば二Ｓである fact6: 草花は癌抑制遺伝子であるとすれば「それは狭くない」ということは本当である fact7: けばけばしくないものは草花であるしまた二Ｓだ fact8: あの国勢は二Ｓである fact9: このオープンキッチンは尤もらしい fact10: その長幼はしょっぱい fact11: もしもこのオープンキッチンは尤もらしいとすれば「その長幼はしょっぱい」ということは成り立つ
fact1 & fact9 -> int1: その長幼は症例でないがしかししょっぱい; int1 -> int2: 何かは症例だということはないがしょっぱい; int2 & fact4 -> int3: あの国勢は癌抑制遺伝子である; fact7 -> int4: 仮にあの国勢がけばけばしいということはないとすれば草花であるしそれは二Ｓだ; int4 & fact3 -> int5: あの国勢は草花だし加えてそれは二Ｓである; int5 -> int6: あの国勢は草花だ; int3 & int6 -> int7: あの国勢は草花で癌抑制遺伝子だ; fact6 -> int8: 仮にあの国勢は草花であるししかも癌抑制遺伝子であるとしたらそれは狭くない; int7 & int8 -> hypothesis;
$facts$ = fact1: 仮にこのオープンキッチンが尤もらしいとするとその長幼は症例でないけどしょっぱい fact2: なにかは症例でしょっぱい fact3: 「あの国勢はけばけばしいということはない」ということは事実である fact4: もし仮に「症例でないししょっぱい」物があるとするとあの国勢は癌抑制遺伝子だ fact5: もし「あの国勢はけばけばしくない」ということは確かであるならば二Ｓである fact6: 草花は癌抑制遺伝子であるとすれば「それは狭くない」ということは本当である fact7: けばけばしくないものは草花であるしまた二Ｓだ fact8: あの国勢は二Ｓである fact9: このオープンキッチンは尤もらしい fact10: その長幼はしょっぱい fact11: もしもこのオープンキッチンは尤もらしいとすれば「その長幼はしょっぱい」ということは成り立つ ; $hypothesis$ = あの国勢は狭い ; $proof$ = 
fact1 & fact9 -> int1: その長幼は症例でないがしかししょっぱい; int1 -> int2: 何かは症例だということはないがしょっぱい; int2 & fact4 -> int3: あの国勢は癌抑制遺伝子である; fact7 -> int4: 仮にあの国勢がけばけばしいということはないとすれば草花であるしそれは二Ｓだ; int4 & fact3 -> int5: あの国勢は草花だし加えてそれは二Ｓである; int5 -> int6: あの国勢は草花だ; int3 & int6 -> int7: あの国勢は草花で癌抑制遺伝子だ; fact6 -> int8: 仮にあの国勢は草花であるししかも癌抑制遺伝子であるとしたらそれは狭くない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にこのオープンキッチンが尤もらしいとするとその長幼は症例でないけどしょっぱい
事実2: なにかは症例でしょっぱい
事実3: 「あの国勢はけばけばしいということはない」ということは事実である
事実4: もし仮に「症例でないししょっぱい」物があるとするとあの国勢は癌抑制遺伝子だ
事実5: もし「あの国勢はけばけばしくない」ということは確かであるならば二Ｓである
事実6: 草花は癌抑制遺伝子であるとすれば「それは狭くない」ということは本当である
事実7: けばけばしくないものは草花であるしまた二Ｓだ
事実8: あの国勢は二Ｓである
事実9: このオープンキッチンは尤もらしい
事実10: その長幼はしょっぱい
事実11: もしもこのオープンキッチンは尤もらしいとすれば「その長幼はしょっぱい」ということは成り立つ

仮説: あの国勢は狭い
1. 事実1と事実9から、推論1: "その長幼は症例でないがしかししょっぱい"が導かれる
2. 推論1から、推論2: "何かは症例だということはないがしょっぱい"が導かれる
3. 推論2と事実4から、推論3: "あの国勢は癌抑制遺伝子である"が導かれる
4. 事実7から、推論4: "仮にあの国勢がけばけばしいということはないとすれば草花であるしそれは二Ｓだ"が導かれる
5. 推論4と事実3から、推論5: "あの国勢は草花だし加えてそれは二Ｓである"が導かれる
6. 推論5から、推論6: "あの国勢は草花だ"が導かれる
7. 推論3と推論6から、推論7: "あの国勢は草花で癌抑制遺伝子だ"が導かれる
8. 事実6から、推論8: "仮にあの国勢は草花であるししかも癌抑制遺伝子であるとしたらそれは狭くない"が導かれる
9. 推論7と推論8から、仮説が否定される

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