もしその娼婦政治がみっともないならその子供期は立ち往生しないけどきな臭い
fact1: もしなにかは立ち往生するがみっともなくないとすればそれは堪え難くない fact2: この官庁街は贈る fact3: その子供期は継承するけれど大人っぽいということはない fact4: この電気冷蔵庫は宿直しない一方で運び易い fact5: あの小田原工場が立ち往生しないならその手助けはみっともない fact6: この官庁街は当選しないしまた大人っぽくない fact7: 仮にこの官庁街は書き付けないとすれば「それは立ち往生する」ということは成り立つ fact8: 仮に大人っぽい物がみっともなくないとすればそれはきな臭くない fact9: その子供期は堪え難くないし大人っぽくない fact10: 仮にこの官庁街が継承するけどそれが立ち往生しないとしたらそれは考え付くということはない fact11: 仮に「その娼婦政治はみっともなくてそれに教育資源だ」ということは事実であるならこの官庁街は継承しない fact12: あの大型店舗は体系付けるがしかしそれは考え付かない fact13: 仮にその子供期が堪え難いということはないならその娼婦政治はきな臭い fact14: その娼婦政治はハイクオリティであるしそれにそれは下ろせる fact15: 仮に何らかの物は対抗し得るが贈らないとしたら「「立ち往生する」ということは真実である」ということは成り立たない fact16: 「あの小田原工場は考え付く」ということは確かだ fact17: その手助けは対抗し得る fact18: みっともない物は六女だけど考え付くということはない fact19: 仮になんらかのものが堪え難くないならば対抗し得るけど贈らない fact20: もしも「あの小田原工場は考え付く」ということは成り立つとしたらその娼婦政治は教育資源である fact21: もしもこの官庁街が贈らないとすればそれは継承するし立ち往生するということはない fact22: もし仮にこの官庁街が継承しないとすればその子供期はきな臭い fact23: もしもとあるものは対抗し得るとすると「それは継承するということはないしそれにそれはきな臭くない」ということは間違いだ fact24: 仮にこの官庁街が継承しないとするとそれは教育資源だ
fact20 & fact16 -> int1: その娼婦政治は教育資源だ; void -> assump1: 以下のように仮定する。その娼婦政治はみっともない; int1 & assump1 -> int2: その娼婦政治はみっともないし教育資源である; int2 & fact11 -> int3: この官庁街は継承しない; int3 & fact22 -> int4: その子供期はきな臭い; fact15 -> int5: もしもその子供期は対抗し得るけれど贈らないとしたらそれは立ち往生するということはない; fact19 -> int6: 「その子供期は堪え難くない」ということは正しいとするとそれは対抗し得るし贈らない; fact9 -> int7: その子供期は堪え難くない; int6 & int7 -> int8: その子供期は対抗し得るけれど贈らない; int5 & int8 -> int9: その子供期は立ち往生しない; int4 & int9 -> int10: その子供期は立ち往生しないけれどきな臭い; [assump1] & int10 -> hypothesis;
その手助けは教育資源でないが六女である
fact28 -> int11: もしその手助けは対抗し得るなら「それは継承しなくてそれにきな臭くない」ということは間違っている; int11 & fact26 -> int12: 「その手助けは継承しなくて更にきな臭くない」ということは成り立たない; fact27 -> int13: もしも「その手助けはみっともない」ということは偽でないとしたらそれが六女だしその上それは考え付かない;
$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: 仮にこの官庁街が継承しないとするとそれは教育資源だ ; $hypothesis$ = もしその娼婦政治がみっともないならその子供期は立ち往生しないけどきな臭い ; $proof$ = 
fact20 & fact16 -> int1: その娼婦政治は教育資源だ; void -> assump1: 以下のように仮定する。その娼婦政治はみっともない; int1 & assump1 -> int2: その娼婦政治はみっともないし教育資源である; int2 & fact11 -> int3: この官庁街は継承しない; int3 & fact22 -> int4: その子供期はきな臭い; fact15 -> int5: もしもその子供期は対抗し得るけれど贈らないとしたらそれは立ち往生するということはない; fact19 -> int6: 「その子供期は堪え難くない」ということは正しいとするとそれは対抗し得るし贈らない; fact9 -> int7: その子供期は堪え難くない; int6 & int7 -> int8: その子供期は対抗し得るけれど贈らない; int5 & int8 -> int9: その子供期は立ち往生しない; int4 & int9 -> int10: その子供期は立ち往生しないけれどきな臭い; [assump1] & int10 -> 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: 仮にこの官庁街が継承しないとするとそれは教育資源だ

仮説: もしその娼婦政治がみっともないならその子供期は立ち往生しないけどきな臭い
1. 事実20と事実16から、推論1: "その娼婦政治は教育資源だ"が導かれる
2. 仮定1: 以下のように仮定する。その娼婦政治はみっともない
3. 推論1と仮定1から、推論2: "その娼婦政治はみっともないし教育資源である"が導かれる
4. 推論2と事実11から、推論3: "この官庁街は継承しない"が導かれる
5. 推論3と事実22から、推論4: "その子供期はきな臭い"が導かれる
6. 事実15から、推論5: "もしもその子供期は対抗し得るけれど贈らないとしたらそれは立ち往生するということはない"が導かれる
7. 事実19から、推論6: "「その子供期は堪え難くない」ということは正しいとするとそれは対抗し得るし贈らない"が導かれる
8. 事実9から、推論7: "その子供期は堪え難くない"が導かれる
9. 推論6と推論7から、推論8: "その子供期は対抗し得るけれど贈らない"が導かれる
10. 推論5と推論8から、推論9: "その子供期は立ち往生しない"が導かれる
11. 推論4と推論9から、推論10: "その子供期は立ち往生しないけれどきな臭い"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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