「もし読み落とすとしたら代替出来るかもしくは完工しないか両方な」ものはある
fact1: もしも何かは代替出来るかあるいは完工するということはないかまたは両方だとすれば読み落とさない fact2: もし仮に「なんらかの物は連携出来るか持ち難いかまたは両方だ」ということは真実でないとすればそれは山上でない fact3: この摘発は証明証でない fact4: もし仮にあのベビーシッターが最小作用であるということはないとすればその知らせは企業改革である fact5: 「その若彦路は断熱するかもしくはそれは荒っぽくない」ということは間違いである fact6: 「その若彦路は勿体無いかそれは縫い止めない」ということは間違いである fact7: もしも「何かは代替出来るかそれは完工するということはないかあるいは両方ともだ」ということは成り立たないとしたら「読み落とす」ということは成り立つ fact8: 「突き固めるとしたら所為かあるいは差し押さえない」物はある fact9: もしなんらかのものが述ぶとするとそれは最小作用である fact10: この予備電源は加害行為であるとしたら割れ易くない fact11: 「親しものは最小作用だ」ということは成り立つ fact12: もしその若彦路が読み落とすとするとそれは代替出来るかあるいは完工するかどちらもである fact13: その若彦路は使い難い fact14: 仮になんらかのものが差し押さえないなら親しかもしくはそれは述ぶ fact15: 仮にあの一本当たりが最小作用であるがしかし母親らしくないとすればあのベビーシッターは最小作用であるということはない fact16: 仮に「何かは代替出来るかそれは完工しないかまたは両方ともだ」ということは嘘だとしたら「読み落とす」ということは嘘だ fact17: 「読み落とせば代替出来るか完工するかまたはどちらもである」物はある fact18: この摘発は証明証でないなら「あの一本当たりは差し押さえない」ということは事実だ fact19: もし仮に「その若彦路は代替出来るかまたは完工しないかまたはどちらもだ」ということは成り立たないならば「読み落とす」ということは本当だ fact20: もし仮に何らかのものが企業改革ならそれは移り難いかあるいは読み落とすということはない
fact16 -> int1: もしも「「その若彦路は代替出来るかあるいは完工するということはない」ということは真実である」ということは成り立たないとするとそれは読み落とすということはない; void -> assump2: 以下のように仮定する。「その若彦路は代替出来るか完工しない」ということは成り立たない; int1 & assump2 -> int2: その若彦路は読み落とさない; void -> assump1: 以下のように仮定する。その若彦路は読み落とす; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その若彦路は代替出来るかあるいは完工しないかもしくはどちらもである; [assump1] & int4 -> int5: その若彦路が読み落とせばそれは代替出来るかあるいは完工しないかもしくは両方ともだ; int5 -> hypothesis;
その知らせは移り難いかあるいは読み落とさないかまたは両方ともである
fact22 -> int6: もしもその知らせが企業改革であるなら移り難いかもしくはそれは読み落とさない; fact27 -> int7: もしもあの一本当たりが差し押さえないとすると親しかまたはそれは述ぶかもしくは両方だ; fact29 & fact25 -> int8: あの一本当たりは差し押さえない; int7 & int8 -> int9: 「あの一本当たりは親しかもしくは述ぶ」ということは本当だ; fact24 -> int10: もし仮にあの一本当たりが親しならば最小作用である; fact26 -> int11: 仮にあの一本当たりが述ぶとするとそれは最小作用である; int9 & int10 & int11 -> int12: あの一本当たりは最小作用である;
$facts$ = fact1: もしも何かは代替出来るかあるいは完工するということはないかまたは両方だとすれば読み落とさない fact2: もし仮に「なんらかの物は連携出来るか持ち難いかまたは両方だ」ということは真実でないとすればそれは山上でない fact3: この摘発は証明証でない fact4: もし仮にあのベビーシッターが最小作用であるということはないとすればその知らせは企業改革である fact5: 「その若彦路は断熱するかもしくはそれは荒っぽくない」ということは間違いである fact6: 「その若彦路は勿体無いかそれは縫い止めない」ということは間違いである fact7: もしも「何かは代替出来るかそれは完工するということはないかあるいは両方ともだ」ということは成り立たないとしたら「読み落とす」ということは成り立つ fact8: 「突き固めるとしたら所為かあるいは差し押さえない」物はある fact9: もしなんらかのものが述ぶとするとそれは最小作用である fact10: この予備電源は加害行為であるとしたら割れ易くない fact11: 「親しものは最小作用だ」ということは成り立つ fact12: もしその若彦路が読み落とすとするとそれは代替出来るかあるいは完工するかどちらもである fact13: その若彦路は使い難い fact14: 仮になんらかのものが差し押さえないなら親しかもしくはそれは述ぶ fact15: 仮にあの一本当たりが最小作用であるがしかし母親らしくないとすればあのベビーシッターは最小作用であるということはない fact16: 仮に「何かは代替出来るかそれは完工しないかまたは両方ともだ」ということは嘘だとしたら「読み落とす」ということは嘘だ fact17: 「読み落とせば代替出来るか完工するかまたはどちらもである」物はある fact18: この摘発は証明証でないなら「あの一本当たりは差し押さえない」ということは事実だ fact19: もし仮に「その若彦路は代替出来るかまたは完工しないかまたはどちらもだ」ということは成り立たないならば「読み落とす」ということは本当だ fact20: もし仮に何らかのものが企業改革ならそれは移り難いかあるいは読み落とすということはない ; $hypothesis$ = 「もし読み落とすとしたら代替出来るかもしくは完工しないか両方な」ものはある ; $proof$ = 
fact16 -> int1: もしも「「その若彦路は代替出来るかあるいは完工するということはない」ということは真実である」ということは成り立たないとするとそれは読み落とすということはない; void -> assump2: 以下のように仮定する。「その若彦路は代替出来るか完工しない」ということは成り立たない; int1 & assump2 -> int2: その若彦路は読み落とさない; void -> assump1: 以下のように仮定する。その若彦路は読み落とす; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その若彦路は代替出来るかあるいは完工しないかもしくはどちらもである; [assump1] & int4 -> int5: その若彦路が読み落とせばそれは代替出来るかあるいは完工しないかもしくは両方ともだ; int5 -> hypothesis; __PROVED__
事実1: もしも何かは代替出来るかあるいは完工するということはないかまたは両方だとすれば読み落とさない
事実2: もし仮に「なんらかの物は連携出来るか持ち難いかまたは両方だ」ということは真実でないとすればそれは山上でない
事実3: この摘発は証明証でない
事実4: もし仮にあのベビーシッターが最小作用であるということはないとすればその知らせは企業改革である
事実5: 「その若彦路は断熱するかもしくはそれは荒っぽくない」ということは間違いである
事実6: 「その若彦路は勿体無いかそれは縫い止めない」ということは間違いである
事実7: もしも「何かは代替出来るかそれは完工するということはないかあるいは両方ともだ」ということは成り立たないとしたら「読み落とす」ということは成り立つ
事実8: 「突き固めるとしたら所為かあるいは差し押さえない」物はある
事実9: もしなんらかのものが述ぶとするとそれは最小作用である
事実10: この予備電源は加害行為であるとしたら割れ易くない
事実11: 「親しものは最小作用だ」ということは成り立つ
事実12: もしその若彦路が読み落とすとするとそれは代替出来るかあるいは完工するかどちらもである
事実13: その若彦路は使い難い
事実14: 仮になんらかのものが差し押さえないなら親しかもしくはそれは述ぶ
事実15: 仮にあの一本当たりが最小作用であるがしかし母親らしくないとすればあのベビーシッターは最小作用であるということはない
事実16: 仮に「何かは代替出来るかそれは完工しないかまたは両方ともだ」ということは嘘だとしたら「読み落とす」ということは嘘だ
事実17: 「読み落とせば代替出来るか完工するかまたはどちらもである」物はある
事実18: この摘発は証明証でないなら「あの一本当たりは差し押さえない」ということは事実だ
事実19: もし仮に「その若彦路は代替出来るかまたは完工しないかまたはどちらもだ」ということは成り立たないならば「読み落とす」ということは本当だ
事実20: もし仮に何らかのものが企業改革ならそれは移り難いかあるいは読み落とすということはない

仮説: 「もし読み落とすとしたら代替出来るかもしくは完工しないか両方な」ものはある
1. 事実16から、推論1: "もしも「「その若彦路は代替出来るかあるいは完工するということはない」ということは真実である」ということは成り立たないとするとそれは読み落とすということはない"が導かれる
2. 仮定2: 以下のように仮定する。「その若彦路は代替出来るか完工しない」ということは成り立たない
3. 推論1と仮定2から、推論2: "その若彦路は読み落とさない"が導かれる
4. 仮定1: 以下のように仮定する。その若彦路は読み落とす
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その若彦路は代替出来るかあるいは完工しないかもしくはどちらもである"が導かれる
7. [仮定1]と推論4から、推論5: "その若彦路が読み落とせばそれは代替出来るかあるいは完工しないかもしくは両方ともだ"が導かれる
8. 推論5から、仮説が導かれる

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