あの接触面積は系統でないけれどそれは出来易い
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: もしもあの接触面積が大衆文芸でないとしたらこの接合体は実現し易いし活動し易い
fact18 & fact11 & fact10 -> int1: その真壁家は大衆文芸である; fact8 -> int2: その真壁家は特別交付税だ; int1 & int2 -> int3: 「その真壁家は大衆文芸だし特別交付税だ」ということは確かだ; int3 & fact24 -> int4: あの接触面積は系統でない; fact20 -> int5: もしあの接触面積が煮詰まるがしかしそれが固くないとすればそれは出来易い; int5 & fact12 -> int6: 「あの接触面積は出来易い」ということは真実である; int4 & int6 -> hypothesis;
「「あの接触面積は系統だということはないがしかし出来易い」ということは成り立たない」ということは事実だ
fact29 -> int7: もしもこの七日後が固いかもしくはそれは進め易くないかもしくは両方であるとすれば固い; fact27 & fact35 -> int8: あの田地証文は転がるし易しい; int8 -> int9: あの田地証文は易しい; int9 -> int10: とあるものは易しい; int10 & fact30 -> int11: この卑劣さは進め易い一方でそれは煮詰まらない; fact28 & int11 -> int12: あの関税額は進め易くない; int12 -> int13: 「進め易くない」ものはある; int13 & fact26 -> int14: この七日後は固いかもしくは進め易くないかあるいは両方ともだ; int7 & int14 -> int15: この七日後は固い; fact31 & int15 -> int16: 「この清掃周期は特別交付税でないか竹林精舎であるかどちらもだ」ということは成り立たない; int16 -> int17: 「「「特別交付税でないか竹林精舎であるかもしくは両方ともだ」ということは成り立たない」物はある」ということは確かだ;
$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$ = 
fact18 & fact11 & fact10 -> int1: その真壁家は大衆文芸である; fact8 -> int2: その真壁家は特別交付税だ; int1 & int2 -> int3: 「その真壁家は大衆文芸だし特別交付税だ」ということは確かだ; int3 & fact24 -> int4: あの接触面積は系統でない; fact20 -> int5: もしあの接触面積が煮詰まるがしかしそれが固くないとすればそれは出来易い; int5 & fact12 -> int6: 「あの接触面積は出来易い」ということは真実である; int4 & int6 -> 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. 事実18と事実11と事実10から、推論1: "その真壁家は大衆文芸である"が導かれる
2. 事実8から、推論2: "その真壁家は特別交付税だ"が導かれる
3. 推論1と推論2から、推論3: "「その真壁家は大衆文芸だし特別交付税だ」ということは確かだ"が導かれる
4. 推論3と事実24から、推論4: "あの接触面積は系統でない"が導かれる
5. 事実20から、推論5: "もしあの接触面積が煮詰まるがしかしそれが固くないとすればそれは出来易い"が導かれる
6. 推論5と事実12から、推論6: "「あの接触面積は出来易い」ということは真実である"が導かれる
7. 推論4と推論6から、仮説が導かれる

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