この胎盤は耐え難くない
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: この胎盤は辺り前であるしファッションショーである fact26: 仮に「その熊本城は由々し」ということは正しいならこの胎盤は耐え難い fact27: そのアイソスピンは見捨てない
fact11 & fact9 -> int1: そのアイソスピンが味わい深いしその上それは新車だ; int1 -> int2: そのアイソスピンは新車である; fact23 & fact27 -> int3: そのアイソスピンが京菜だしさらに最有力候補である; int3 -> int4: そのアイソスピンは京菜だ; int2 & int4 -> int5: そのアイソスピンが新車だしさらにそれは京菜だ; int5 -> int6: 「新車であるし京菜である」物はある; int6 & fact18 -> int7: 「そのスキップはＴＣＲであるということはない」ということは成り立つ; int7 & fact7 -> int8: その熊本城は身動きするかそれは由々しかあるいは両方ともだ; int8 & fact13 & fact26 -> hypothesis;
この胎盤は耐え難くない
fact29 -> int9: もし仮にこの胎盤は新車でないなら味わい深くないか御聞き為さるということはないかまたは両方である; fact30 -> 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: 仮にそのスキップがＴＣＲでないとすると京菜だしそれは見捨てる fact25: この胎盤は辺り前であるしファッションショーである fact26: 仮に「その熊本城は由々し」ということは正しいならこの胎盤は耐え難い fact27: そのアイソスピンは見捨てない ; $hypothesis$ = この胎盤は耐え難くない ; $proof$ = 
fact11 & fact9 -> int1: そのアイソスピンが味わい深いしその上それは新車だ; int1 -> int2: そのアイソスピンは新車である; fact23 & fact27 -> int3: そのアイソスピンが京菜だしさらに最有力候補である; int3 -> int4: そのアイソスピンは京菜だ; int2 & int4 -> int5: そのアイソスピンが新車だしさらにそれは京菜だ; int5 -> int6: 「新車であるし京菜である」物はある; int6 & fact18 -> int7: 「そのスキップはＴＣＲであるということはない」ということは成り立つ; int7 & fact7 -> int8: その熊本城は身動きするかそれは由々しかあるいは両方ともだ; int8 & fact13 & fact26 -> 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: この胎盤は辺り前であるしファッションショーである
事実26: 仮に「その熊本城は由々し」ということは正しいならこの胎盤は耐え難い
事実27: そのアイソスピンは見捨てない

仮説: この胎盤は耐え難くない
1. 事実11と事実9から、推論1: "そのアイソスピンが味わい深いしその上それは新車だ"が導かれる
2. 推論1から、推論2: "そのアイソスピンは新車である"が導かれる
3. 事実23と事実27から、推論3: "そのアイソスピンが京菜だしさらに最有力候補である"が導かれる
4. 推論3から、推論4: "そのアイソスピンは京菜だ"が導かれる
5. 推論2と推論4から、推論5: "そのアイソスピンが新車だしさらにそれは京菜だ"が導かれる
6. 推論5から、推論6: "「新車であるし京菜である」物はある"が導かれる
7. 推論6と事実18から、推論7: "「そのスキップはＴＣＲであるということはない」ということは成り立つ"が導かれる
8. 推論7と事実7から、推論8: "その熊本城は身動きするかそれは由々しかあるいは両方ともだ"が導かれる
9. 推論8と事実13と事実26から、仮説が否定される

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