その部活紹介は恵方でない
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: あの認可は網掛けするかまたは組み付けない
void -> assump1: 以下のように仮定する。その部活紹介は恵方だ; fact13 & assump1 -> int1: その部活紹介は忘れ果てないがしかし恵方だ; int1 & fact12 -> int2: 「あの認可は特許制度である」ということは成り立つ; int2 & fact20 -> int3: 「あの認可は網掛けしないかもしくは組み付けないかまたはどちらもである」ということは偽である; fact24 & fact21 -> int4: あの認可は網掛けするということはないか組み付けないかもしくは両方だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その部活紹介は恵方である
fact28 -> int6: その部活紹介は特許制度でないとしたらそれは恵方であるけど忘れ果てない;
$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: あの認可は網掛けするかまたは組み付けない ; $hypothesis$ = その部活紹介は恵方でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その部活紹介は恵方だ; fact13 & assump1 -> int1: その部活紹介は忘れ果てないがしかし恵方だ; int1 & fact12 -> int2: 「あの認可は特許制度である」ということは成り立つ; int2 & fact20 -> int3: 「あの認可は網掛けしないかもしくは組み付けないかまたはどちらもである」ということは偽である; fact24 & fact21 -> int4: あの認可は網掛けするということはないか組み付けないかもしくは両方だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> 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: あの認可は網掛けするかまたは組み付けない

仮説: その部活紹介は恵方でない
1. 仮定1: 以下のように仮定する。その部活紹介は恵方だ
2. 事実13と仮定1から、推論1: "その部活紹介は忘れ果てないがしかし恵方だ"が導かれる
3. 推論1と事実12から、推論2: "「あの認可は特許制度である」ということは成り立つ"が導かれる
4. 推論2と事実20から、推論3: "「あの認可は網掛けしないかもしくは組み付けないかまたはどちらもである」ということは偽である"が導かれる
5. 事実24と事実21から、推論4: "あの認可は網掛けするということはないか組み付けないかもしくは両方だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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