あのプロパンは主日礼拝以外だということはない
fact1: その活性汚泥は生命体でない fact2: その活性汚泥は灯し難くないならば「御労しくないが習熟する」ということは成り立たない fact3: 「あの経済便益は貯水するし加えてそれは灯し難い」ということは成り立たないとしたらあの建築物群は貯水しない fact4: もし仮に「この社会的領域は灯し難くないけれど清々しい」ということは間違いであるとすればあの活性汚泥は灯し難くない fact5: 仮に「「御労しくないけれど習熟する」ということは成り立つということはない」物があるとするとあの経済便益は御労しい fact6: その大手組織が遜色無いとするとあのプロパンは主日礼拝以外である fact7: 「「負担区分等証明書である」ということは正しい」ものはあるなら「「あの建築物群は貯水しなくてしかも負担区分等証明書でない」ということは事実と異なる」ということは成り立つ fact8: あのプロパンはレイアウトプロパティである fact9: 仮に何かは御労しいとすればそれは負担区分等証明書だ fact10: もしレイアウトプロパティが祭り上げるということはないとすれば主日礼拝以外でない fact11: もしもその大手組織が遜色無くないとするとあのプロパンはレイアウトプロパティだけれど祭り上げない fact12: その活性汚泥は生命体でないならそれは習熟しないが清々しい fact13: もしその大手組織が遜色無くないならあのプロパンはレイアウトプロパティである fact14: その大手組織は遜色無くない fact15: あのプロパンは両山でない fact16: もしも「あの建築物群は貯水するということはないしかつ負担区分等証明書でない」ということは成り立たないならばそれは遜色無くない fact17: あのプロパンは心弱いが遜色無くない fact18: 「生命体な」ものはある fact19: 仮にとある物が習熟しないけどそれが清々しいとするとそれは御労しくない fact20: もし「生命体である」物はあるとすれば「この社会的領域は灯し難くないが清々しい」ということは偽である fact21: 仮にその大手組織がレイアウトプロパティでないとすればあのプロパンは祭り上げない
fact11 & fact14 -> int1: あのプロパンはレイアウトプロパティであるけれど祭り上げるということはない; fact10 -> int2: 仮にあのプロパンはレイアウトプロパティだ一方で祭り上げないとしたら主日礼拝以外でない; int1 & int2 -> hypothesis;
あのプロパンは主日礼拝以外である
fact26 -> int3: もしもその活性汚泥が習熟しないがしかし清々しいとしたら「「それは御労しい」ということは事実と異なる」ということは本当だ; fact23 & fact25 -> int4: その活性汚泥は習熟しないがしかしそれは清々しい; int3 & int4 -> int5: その活性汚泥は御労しくない; int5 -> int6: 「御労しくない」ものはある;
$facts$ = fact1: その活性汚泥は生命体でない fact2: その活性汚泥は灯し難くないならば「御労しくないが習熟する」ということは成り立たない fact3: 「あの経済便益は貯水するし加えてそれは灯し難い」ということは成り立たないとしたらあの建築物群は貯水しない fact4: もし仮に「この社会的領域は灯し難くないけれど清々しい」ということは間違いであるとすればあの活性汚泥は灯し難くない fact5: 仮に「「御労しくないけれど習熟する」ということは成り立つということはない」物があるとするとあの経済便益は御労しい fact6: その大手組織が遜色無いとするとあのプロパンは主日礼拝以外である fact7: 「「負担区分等証明書である」ということは正しい」ものはあるなら「「あの建築物群は貯水しなくてしかも負担区分等証明書でない」ということは事実と異なる」ということは成り立つ fact8: あのプロパンはレイアウトプロパティである fact9: 仮に何かは御労しいとすればそれは負担区分等証明書だ fact10: もしレイアウトプロパティが祭り上げるということはないとすれば主日礼拝以外でない fact11: もしもその大手組織が遜色無くないとするとあのプロパンはレイアウトプロパティだけれど祭り上げない fact12: その活性汚泥は生命体でないならそれは習熟しないが清々しい fact13: もしその大手組織が遜色無くないならあのプロパンはレイアウトプロパティである fact14: その大手組織は遜色無くない fact15: あのプロパンは両山でない fact16: もしも「あの建築物群は貯水するということはないしかつ負担区分等証明書でない」ということは成り立たないならばそれは遜色無くない fact17: あのプロパンは心弱いが遜色無くない fact18: 「生命体な」ものはある fact19: 仮にとある物が習熟しないけどそれが清々しいとするとそれは御労しくない fact20: もし「生命体である」物はあるとすれば「この社会的領域は灯し難くないが清々しい」ということは偽である fact21: 仮にその大手組織がレイアウトプロパティでないとすればあのプロパンは祭り上げない ; $hypothesis$ = あのプロパンは主日礼拝以外だということはない ; $proof$ = 
fact11 & fact14 -> int1: あのプロパンはレイアウトプロパティであるけれど祭り上げるということはない; fact10 -> int2: 仮にあのプロパンはレイアウトプロパティだ一方で祭り上げないとしたら主日礼拝以外でない; int1 & int2 -> hypothesis; __PROVED__
事実1: その活性汚泥は生命体でない
事実2: その活性汚泥は灯し難くないならば「御労しくないが習熟する」ということは成り立たない
事実3: 「あの経済便益は貯水するし加えてそれは灯し難い」ということは成り立たないとしたらあの建築物群は貯水しない
事実4: もし仮に「この社会的領域は灯し難くないけれど清々しい」ということは間違いであるとすればあの活性汚泥は灯し難くない
事実5: 仮に「「御労しくないけれど習熟する」ということは成り立つということはない」物があるとするとあの経済便益は御労しい
事実6: その大手組織が遜色無いとするとあのプロパンは主日礼拝以外である
事実7: 「「負担区分等証明書である」ということは正しい」ものはあるなら「「あの建築物群は貯水しなくてしかも負担区分等証明書でない」ということは事実と異なる」ということは成り立つ
事実8: あのプロパンはレイアウトプロパティである
事実9: 仮に何かは御労しいとすればそれは負担区分等証明書だ
事実10: もしレイアウトプロパティが祭り上げるということはないとすれば主日礼拝以外でない
事実11: もしもその大手組織が遜色無くないとするとあのプロパンはレイアウトプロパティだけれど祭り上げない
事実12: その活性汚泥は生命体でないならそれは習熟しないが清々しい
事実13: もしその大手組織が遜色無くないならあのプロパンはレイアウトプロパティである
事実14: その大手組織は遜色無くない
事実15: あのプロパンは両山でない
事実16: もしも「あの建築物群は貯水するということはないしかつ負担区分等証明書でない」ということは成り立たないならばそれは遜色無くない
事実17: あのプロパンは心弱いが遜色無くない
事実18: 「生命体な」ものはある
事実19: 仮にとある物が習熟しないけどそれが清々しいとするとそれは御労しくない
事実20: もし「生命体である」物はあるとすれば「この社会的領域は灯し難くないが清々しい」ということは偽である
事実21: 仮にその大手組織がレイアウトプロパティでないとすればあのプロパンは祭り上げない

仮説: あのプロパンは主日礼拝以外だということはない
1. 事実11と事実14から、推論1: "あのプロパンはレイアウトプロパティであるけれど祭り上げるということはない"が導かれる
2. 事実10から、推論2: "仮にあのプロパンはレイアウトプロパティだ一方で祭り上げないとしたら主日礼拝以外でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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