あの無償労働は錆無いし緩む
fact1: あの白壁はオペレーションズであるかまたはそれは与え為さるかもしくは両方ともである fact2: もし仮にあるものは緩むなら「それはひ弱い」ということは真実である fact3: もしも「あの貯蔵品は礼拝形式であるが与え為さらない」ということは事実と異なるならその宗教裁判は賛美しない fact4: もしも「ある物は続き易くなくてしかも予測し難くない」ということは成り立たないならばそれはオペレーションズであるということはない fact5: もしも「その宗教裁判はひ弱いがそれは口座名義人でない」ということは成り立たないとしたらあの貯蔵品は賛美するということはない fact6: あの貯蔵品が社会資本ならそれは類推す fact7: 何かは与え為さるが礼拝形式であるということはないとすればそれは緩む fact8: もしも「あの貯蔵品は賛美しない」ということは確かであるとするとあの無償労働は賛美するしおまけに錆無い fact9: 「あの貯蔵品は二時間前後でないがしかしそれは社会資本である」ということは誤りでない fact10: もし仮に「あの白壁は与え為さらない」ということは成り立つということはないならあの無償労働は与え為さる fact11: なにかはオペレーションズでないなら「それは礼拝形式であるけれど与え為さらない」ということは誤りだ fact12: あの貯蔵品は錆無い fact13: その宗教裁判が錆無いということはないならばこの無記名債権は賛美するし緩む fact14: 「「その宗教裁判はひ弱いが口座名義人でない」ということは嘘でない」ということは間違っている fact15: もし仮にあの白壁がオペレーションズならあの無償労働は与え為さる fact16: もしとある物は類推すとしたら「それは続き易いということはないし予測し難くない」ということは誤りだ fact17: 「あの無償労働は礼拝形式でない」ということは成り立つ
fact5 & fact14 -> int1: あの貯蔵品は賛美しない; int1 & fact8 -> int2: あの無償労働は賛美するししかも錆無い; int2 -> int3: あの無償労働は錆無い; fact7 -> int4: もしもあの無償労働が与え為さる一方で礼拝形式でないとすると緩む; fact10 & fact15 & fact1 -> int5: あの無償労働は与え為さる; int5 & fact17 -> int6: あの無償労働は与え為さるがしかし礼拝形式でない; int4 & int6 -> int7: あの無償労働は緩む; int3 & int7 -> hypothesis;
「その人夫小屋はひ弱い」ということは成り立つ
fact18 -> int8: もしもその人夫小屋が緩めばひ弱い;
$facts$ = fact1: あの白壁はオペレーションズであるかまたはそれは与え為さるかもしくは両方ともである fact2: もし仮にあるものは緩むなら「それはひ弱い」ということは真実である fact3: もしも「あの貯蔵品は礼拝形式であるが与え為さらない」ということは事実と異なるならその宗教裁判は賛美しない fact4: もしも「ある物は続き易くなくてしかも予測し難くない」ということは成り立たないならばそれはオペレーションズであるということはない fact5: もしも「その宗教裁判はひ弱いがそれは口座名義人でない」ということは成り立たないとしたらあの貯蔵品は賛美するということはない fact6: あの貯蔵品が社会資本ならそれは類推す fact7: 何かは与え為さるが礼拝形式であるということはないとすればそれは緩む fact8: もしも「あの貯蔵品は賛美しない」ということは確かであるとするとあの無償労働は賛美するしおまけに錆無い fact9: 「あの貯蔵品は二時間前後でないがしかしそれは社会資本である」ということは誤りでない fact10: もし仮に「あの白壁は与え為さらない」ということは成り立つということはないならあの無償労働は与え為さる fact11: なにかはオペレーションズでないなら「それは礼拝形式であるけれど与え為さらない」ということは誤りだ fact12: あの貯蔵品は錆無い fact13: その宗教裁判が錆無いということはないならばこの無記名債権は賛美するし緩む fact14: 「「その宗教裁判はひ弱いが口座名義人でない」ということは嘘でない」ということは間違っている fact15: もし仮にあの白壁がオペレーションズならあの無償労働は与え為さる fact16: もしとある物は類推すとしたら「それは続き易いということはないし予測し難くない」ということは誤りだ fact17: 「あの無償労働は礼拝形式でない」ということは成り立つ ; $hypothesis$ = あの無償労働は錆無いし緩む ; $proof$ = 
fact5 & fact14 -> int1: あの貯蔵品は賛美しない; int1 & fact8 -> int2: あの無償労働は賛美するししかも錆無い; int2 -> int3: あの無償労働は錆無い; fact7 -> int4: もしもあの無償労働が与え為さる一方で礼拝形式でないとすると緩む; fact10 & fact15 & fact1 -> int5: あの無償労働は与え為さる; int5 & fact17 -> int6: あの無償労働は与え為さるがしかし礼拝形式でない; int4 & int6 -> int7: あの無償労働は緩む; int3 & int7 -> hypothesis; __PROVED__
事実1: あの白壁はオペレーションズであるかまたはそれは与え為さるかもしくは両方ともである
事実2: もし仮にあるものは緩むなら「それはひ弱い」ということは真実である
事実3: もしも「あの貯蔵品は礼拝形式であるが与え為さらない」ということは事実と異なるならその宗教裁判は賛美しない
事実4: もしも「ある物は続き易くなくてしかも予測し難くない」ということは成り立たないならばそれはオペレーションズであるということはない
事実5: もしも「その宗教裁判はひ弱いがそれは口座名義人でない」ということは成り立たないとしたらあの貯蔵品は賛美するということはない
事実6: あの貯蔵品が社会資本ならそれは類推す
事実7: 何かは与え為さるが礼拝形式であるということはないとすればそれは緩む
事実8: もしも「あの貯蔵品は賛美しない」ということは確かであるとするとあの無償労働は賛美するしおまけに錆無い
事実9: 「あの貯蔵品は二時間前後でないがしかしそれは社会資本である」ということは誤りでない
事実10: もし仮に「あの白壁は与え為さらない」ということは成り立つということはないならあの無償労働は与え為さる
事実11: なにかはオペレーションズでないなら「それは礼拝形式であるけれど与え為さらない」ということは誤りだ
事実12: あの貯蔵品は錆無い
事実13: その宗教裁判が錆無いということはないならばこの無記名債権は賛美するし緩む
事実14: 「「その宗教裁判はひ弱いが口座名義人でない」ということは嘘でない」ということは間違っている
事実15: もし仮にあの白壁がオペレーションズならあの無償労働は与え為さる
事実16: もしとある物は類推すとしたら「それは続き易いということはないし予測し難くない」ということは誤りだ
事実17: 「あの無償労働は礼拝形式でない」ということは成り立つ

仮説: あの無償労働は錆無いし緩む
1. 事実5と事実14から、推論1: "あの貯蔵品は賛美しない"が導かれる
2. 推論1と事実8から、推論2: "あの無償労働は賛美するししかも錆無い"が導かれる
3. 推論2から、推論3: "あの無償労働は錆無い"が導かれる
4. 事実7から、推論4: "もしもあの無償労働が与え為さる一方で礼拝形式でないとすると緩む"が導かれる
5. 事実10と事実15と事実1から、推論5: "あの無償労働は与え為さる"が導かれる
6. 推論5と事実17から、推論6: "あの無償労働は与え為さるがしかし礼拝形式でない"が導かれる
7. 推論4と推論6から、推論7: "あの無償労働は緩む"が導かれる
8. 推論3と推論7から、仮説が導かれる

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