この理論的背景は壊れ易くない
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: もし仮に「「いじらしくないしさらに略語・記号でない」ということは間違っている」ものがあるとすればその第三ピリオドは四分律一部である
fact12 & fact5 -> int1: この判子代は関係先だ; int1 & fact7 -> int2: この判子代は関係先だしてかてかする; int2 & fact14 -> int3: その第三ピリオドは見慣れ過ぎない; fact24 -> int4: 「「いじらしいということはないしまた略語・記号でない」ということは間違いである」物はある; fact27 & int4 -> int5: 「その第三ピリオドは四分律一部だ」ということは確かである; int3 & int5 -> int6: その第三ピリオドは見慣れ過ぎるということはないけど四分律一部だ; int6 & fact21 -> int7: この治療反応は止み難い; int7 & fact15 -> int8: この治療反応は止み難いししかもそれは食糧増産だ; int8 & fact26 -> 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: 「「その第三ピリオドは食糧増産であるけどそれは四分律一部でない」ということは成り立たない」ということは成り立つ fact26: もし仮にこの治療反応が止み難くておまけに食糧増産であるとしたらこの理論的背景は壊れ易くない fact27: もし仮に「「いじらしくないしさらに略語・記号でない」ということは間違っている」ものがあるとすればその第三ピリオドは四分律一部である ; $hypothesis$ = この理論的背景は壊れ易くない ; $proof$ = 
fact12 & fact5 -> int1: この判子代は関係先だ; int1 & fact7 -> int2: この判子代は関係先だしてかてかする; int2 & fact14 -> int3: その第三ピリオドは見慣れ過ぎない; fact24 -> int4: 「「いじらしいということはないしまた略語・記号でない」ということは間違いである」物はある; fact27 & int4 -> int5: 「その第三ピリオドは四分律一部だ」ということは確かである; int3 & int5 -> int6: その第三ピリオドは見慣れ過ぎるということはないけど四分律一部だ; int6 & fact21 -> int7: この治療反応は止み難い; int7 & fact15 -> int8: この治療反応は止み難いししかもそれは食糧増産だ; int8 & fact26 -> hypothesis; __PROVED__
事実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. 事実12と事実5から、推論1: "この判子代は関係先だ"が導かれる
2. 推論1と事実7から、推論2: "この判子代は関係先だしてかてかする"が導かれる
3. 推論2と事実14から、推論3: "その第三ピリオドは見慣れ過ぎない"が導かれる
4. 事実24から、推論4: "「「いじらしいということはないしまた略語・記号でない」ということは間違いである」物はある"が導かれる
5. 事実27と推論4から、推論5: "「その第三ピリオドは四分律一部だ」ということは確かである"が導かれる
6. 推論3と推論5から、推論6: "その第三ピリオドは見慣れ過ぎるということはないけど四分律一部だ"が導かれる
7. 推論6と事実21から、推論7: "この治療反応は止み難い"が導かれる
8. 推論7と事実15から、推論8: "この治療反応は止み難いししかもそれは食糧増産だ"が導かれる
9. 推論8と事実26から、仮説が導かれる

よって、仮説が証明されました。