「もし仮にその地下壕は火器だということはないとすると「その肋骨頭が擦り剥かないしさらにそれは手広くない」ということは成り立たない」ということは誤りである
fact1: 仮に「このブックファイルは擦り剥くということはない」ということは確かだとすると「その肋骨頭は擦り剥かないけれど手広い」ということは嘘だ fact2: 「その肋骨頭は擦り剥くけど手広くない」ということは成り立たない fact3: もしその地下壕が生まれ難くないけど火器であるとするとあの済生は生まれ難くない fact4: もしこの下取り価格が乳歯だということはないとすれば千ＭＬである fact5: この敬意は火器だ fact6: その地下壕は火器でないなら「その肋骨頭は擦り剥かないが手広い」ということは成り立たない fact7: その肋骨頭は乳歯である fact8: もし仮にこのブックファイルは擦り剥かないなら「その肋骨頭は擦り剥く一方で手広くない」ということは事実と異なる fact9: その肋骨頭は擦り剥かないしまた手広くない fact10: もしもこの下取り価格は生まれ難くないとすれば「その肋骨頭は生まれ難くなくてまたそれは長くない」ということは嘘である fact11: この下取り価格は千ＭＬであるとしたらそれは長い fact12: このブックファイルは擦り剥かないならば「その肋骨頭が擦り剥かないしさらに手広くない」ということは成り立つということはない fact13: もしこの下取り価格が長いかあるいは生まれ難いかもしくは両方であるならこのブックファイルは擦り剥かない fact14: もしもこのブックファイルが擦り剥かないとしたらその肋骨頭が擦り剥かないし手広くない fact15: 仮にこの下取り価格が生まれ難いならこのブックファイルは擦り剥かない fact16: もし仮にその地下壕は乳歯であるとすると「この下取り価格は千ＭＬである」ということは成り立つ fact17: もしその地下壕は火器でないとすると「それは乳歯である」ということは本当だ fact18: もし仮にその地下壕が火器でないならその肋骨頭は擦り剥かないしその上手広くない fact19: 「その地下壕は火器でない」ということは事実ならば「その肋骨頭は擦り剥くけれど手広いということはない」ということは成り立たない fact20: もし仮にその地下壕は生まれ難くないとすると「この下取り価格は生まれ難くなくて更に乳歯でない」ということは事実でない fact21: 「「その肋骨頭は擦り剥かないけど手広い」ということは誤っている」ということは成り立つ
void -> assump1: 以下のように仮定する。その地下壕は火器でない; fact17 & assump1 -> int1: その地下壕は乳歯だ; int1 & fact16 -> int2: この下取り価格は千ＭＬである; int2 & fact11 -> int3: この下取り価格は長い; int3 -> int4: この下取り価格は長いかまたはそれは生まれ難い; int4 & fact13 -> int5: このブックファイルは擦り剥かない; int5 & fact12 -> int6: 「その肋骨頭は擦り剥かないししかも手広くない」ということは間違いである; [assump1] & int6 -> hypothesis;
あの済生は生まれ難いということはない
$facts$ = fact1: 仮に「このブックファイルは擦り剥くということはない」ということは確かだとすると「その肋骨頭は擦り剥かないけれど手広い」ということは嘘だ fact2: 「その肋骨頭は擦り剥くけど手広くない」ということは成り立たない fact3: もしその地下壕が生まれ難くないけど火器であるとするとあの済生は生まれ難くない fact4: もしこの下取り価格が乳歯だということはないとすれば千ＭＬである fact5: この敬意は火器だ fact6: その地下壕は火器でないなら「その肋骨頭は擦り剥かないが手広い」ということは成り立たない fact7: その肋骨頭は乳歯である fact8: もし仮にこのブックファイルは擦り剥かないなら「その肋骨頭は擦り剥く一方で手広くない」ということは事実と異なる fact9: その肋骨頭は擦り剥かないしまた手広くない fact10: もしもこの下取り価格は生まれ難くないとすれば「その肋骨頭は生まれ難くなくてまたそれは長くない」ということは嘘である fact11: この下取り価格は千ＭＬであるとしたらそれは長い fact12: このブックファイルは擦り剥かないならば「その肋骨頭が擦り剥かないしさらに手広くない」ということは成り立つということはない fact13: もしこの下取り価格が長いかあるいは生まれ難いかもしくは両方であるならこのブックファイルは擦り剥かない fact14: もしもこのブックファイルが擦り剥かないとしたらその肋骨頭が擦り剥かないし手広くない fact15: 仮にこの下取り価格が生まれ難いならこのブックファイルは擦り剥かない fact16: もし仮にその地下壕は乳歯であるとすると「この下取り価格は千ＭＬである」ということは成り立つ fact17: もしその地下壕は火器でないとすると「それは乳歯である」ということは本当だ fact18: もし仮にその地下壕が火器でないならその肋骨頭は擦り剥かないしその上手広くない fact19: 「その地下壕は火器でない」ということは事実ならば「その肋骨頭は擦り剥くけれど手広いということはない」ということは成り立たない fact20: もし仮にその地下壕は生まれ難くないとすると「この下取り価格は生まれ難くなくて更に乳歯でない」ということは事実でない fact21: 「「その肋骨頭は擦り剥かないけど手広い」ということは誤っている」ということは成り立つ ; $hypothesis$ = 「もし仮にその地下壕は火器だということはないとすると「その肋骨頭が擦り剥かないしさらにそれは手広くない」ということは成り立たない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。その地下壕は火器でない; fact17 & assump1 -> int1: その地下壕は乳歯だ; int1 & fact16 -> int2: この下取り価格は千ＭＬである; int2 & fact11 -> int3: この下取り価格は長い; int3 -> int4: この下取り価格は長いかまたはそれは生まれ難い; int4 & fact13 -> int5: このブックファイルは擦り剥かない; int5 & fact12 -> int6: 「その肋骨頭は擦り剥かないししかも手広くない」ということは間違いである; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「このブックファイルは擦り剥くということはない」ということは確かだとすると「その肋骨頭は擦り剥かないけれど手広い」ということは嘘だ
事実2: 「その肋骨頭は擦り剥くけど手広くない」ということは成り立たない
事実3: もしその地下壕が生まれ難くないけど火器であるとするとあの済生は生まれ難くない
事実4: もしこの下取り価格が乳歯だということはないとすれば千ＭＬである
事実5: この敬意は火器だ
事実6: その地下壕は火器でないなら「その肋骨頭は擦り剥かないが手広い」ということは成り立たない
事実7: その肋骨頭は乳歯である
事実8: もし仮にこのブックファイルは擦り剥かないなら「その肋骨頭は擦り剥く一方で手広くない」ということは事実と異なる
事実9: その肋骨頭は擦り剥かないしまた手広くない
事実10: もしもこの下取り価格は生まれ難くないとすれば「その肋骨頭は生まれ難くなくてまたそれは長くない」ということは嘘である
事実11: この下取り価格は千ＭＬであるとしたらそれは長い
事実12: このブックファイルは擦り剥かないならば「その肋骨頭が擦り剥かないしさらに手広くない」ということは成り立つということはない
事実13: もしこの下取り価格が長いかあるいは生まれ難いかもしくは両方であるならこのブックファイルは擦り剥かない
事実14: もしもこのブックファイルが擦り剥かないとしたらその肋骨頭が擦り剥かないし手広くない
事実15: 仮にこの下取り価格が生まれ難いならこのブックファイルは擦り剥かない
事実16: もし仮にその地下壕は乳歯であるとすると「この下取り価格は千ＭＬである」ということは成り立つ
事実17: もしその地下壕は火器でないとすると「それは乳歯である」ということは本当だ
事実18: もし仮にその地下壕が火器でないならその肋骨頭は擦り剥かないしその上手広くない
事実19: 「その地下壕は火器でない」ということは事実ならば「その肋骨頭は擦り剥くけれど手広いということはない」ということは成り立たない
事実20: もし仮にその地下壕は生まれ難くないとすると「この下取り価格は生まれ難くなくて更に乳歯でない」ということは事実でない
事実21: 「「その肋骨頭は擦り剥かないけど手広い」ということは誤っている」ということは成り立つ

仮説: 「もし仮にその地下壕は火器だということはないとすると「その肋骨頭が擦り剥かないしさらにそれは手広くない」ということは成り立たない」ということは誤りである
1. 仮定1: 以下のように仮定する。その地下壕は火器でない
2. 事実17と仮定1から、推論1: "その地下壕は乳歯だ"が導かれる
3. 推論1と事実16から、推論2: "この下取り価格は千ＭＬである"が導かれる
4. 推論2と事実11から、推論3: "この下取り価格は長い"が導かれる
5. 推論3から、推論4: "この下取り価格は長いかまたはそれは生まれ難い"が導かれる
6. 推論4と事実13から、推論5: "このブックファイルは擦り剥かない"が導かれる
7. 推論5と事実12から、推論6: "「その肋骨頭は擦り剥かないししかも手広くない」ということは間違いである"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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