この根保証責任は如何わしい
fact1: もし仮に「この根保証責任は関係付ける」ということは真実だとするとそれが根強いということはないしその上それは如何わしくない fact2: もしもあの休日労働が海外貿易ならばそれが御館だししかも繁殖し易くない fact3: この鋼鉄船は根強い fact4: もし「「差し出がましいけど待ち合わせしない」ということは成り立たない」物があるならばあの鋼鉄船は根強いということはない fact5: 「差し出がましくて待ち合わせしない」物はある fact6: もし仮にあの休日労働が御館であるけれど繁殖し易くないならばあの根保証責任は如何わしい fact7: 「あの休日労働は繁殖し易くない」ということは事実だ fact8: もし仮に「「繁殖し易いけど根強くない」ということは成り立たない」物があるならこの鋼鉄船は関係付けない fact9: 仮にあるものが海外貿易でないとすればそれは根強いかあるいは関係付けるということはないかもしくは両方ともだ fact10: 何かは関係付けるとしたらそれは海外貿易だ fact11: 仮になんらかのものは根強いか関係付けないかあるいは両方ともであるとすると繁殖し易くない fact12: あの休日労働は如何わしい fact13: もし仮にその上場企業が差し出がましいがしかしそれが待ち合わせするということはないとするとあの休日労働は関係付ける fact14: もしもなにがしかのものが待ち合わせするとしたらこの鋼鉄船は根強くない
void -> assump1: 以下のように仮定する。「その上場企業は差し出がましい一方で待ち合わせするということはない」ということは間違っている; assump1 -> int1: 「「差し出がましいがしかし待ち合わせしない」ということは間違いである」物はある; int1 & fact4 -> int2: 「この鋼鉄船は根強くない」ということは真実である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その上場企業は差し出がましいが待ち合わせしない; int4 & fact13 -> int5: あの休日労働は関係付ける; fact10 -> int6: もしもあの休日労働が関係付けるとすればそれは海外貿易である; int5 & int6 -> int7: あの休日労働は海外貿易である; int7 & fact2 -> int8: あの休日労働は御館だけど繁殖し易いということはない; int8 & fact6 -> hypothesis;
この根保証責任は如何わしいということはない
$facts$ = fact1: もし仮に「この根保証責任は関係付ける」ということは真実だとするとそれが根強いということはないしその上それは如何わしくない fact2: もしもあの休日労働が海外貿易ならばそれが御館だししかも繁殖し易くない fact3: この鋼鉄船は根強い fact4: もし「「差し出がましいけど待ち合わせしない」ということは成り立たない」物があるならばあの鋼鉄船は根強いということはない fact5: 「差し出がましくて待ち合わせしない」物はある fact6: もし仮にあの休日労働が御館であるけれど繁殖し易くないならばあの根保証責任は如何わしい fact7: 「あの休日労働は繁殖し易くない」ということは事実だ fact8: もし仮に「「繁殖し易いけど根強くない」ということは成り立たない」物があるならこの鋼鉄船は関係付けない fact9: 仮にあるものが海外貿易でないとすればそれは根強いかあるいは関係付けるということはないかもしくは両方ともだ fact10: 何かは関係付けるとしたらそれは海外貿易だ fact11: 仮になんらかのものは根強いか関係付けないかあるいは両方ともであるとすると繁殖し易くない fact12: あの休日労働は如何わしい fact13: もし仮にその上場企業が差し出がましいがしかしそれが待ち合わせするということはないとするとあの休日労働は関係付ける fact14: もしもなにがしかのものが待ち合わせするとしたらこの鋼鉄船は根強くない ; $hypothesis$ = この根保証責任は如何わしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その上場企業は差し出がましい一方で待ち合わせするということはない」ということは間違っている; assump1 -> int1: 「「差し出がましいがしかし待ち合わせしない」ということは間違いである」物はある; int1 & fact4 -> int2: 「この鋼鉄船は根強くない」ということは真実である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: その上場企業は差し出がましいが待ち合わせしない; int4 & fact13 -> int5: あの休日労働は関係付ける; fact10 -> int6: もしもあの休日労働が関係付けるとすればそれは海外貿易である; int5 & int6 -> int7: あの休日労働は海外貿易である; int7 & fact2 -> int8: あの休日労働は御館だけど繁殖し易いということはない; int8 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「この根保証責任は関係付ける」ということは真実だとするとそれが根強いということはないしその上それは如何わしくない
事実2: もしもあの休日労働が海外貿易ならばそれが御館だししかも繁殖し易くない
事実3: この鋼鉄船は根強い
事実4: もし「「差し出がましいけど待ち合わせしない」ということは成り立たない」物があるならばあの鋼鉄船は根強いということはない
事実5: 「差し出がましくて待ち合わせしない」物はある
事実6: もし仮にあの休日労働が御館であるけれど繁殖し易くないならばあの根保証責任は如何わしい
事実7: 「あの休日労働は繁殖し易くない」ということは事実だ
事実8: もし仮に「「繁殖し易いけど根強くない」ということは成り立たない」物があるならこの鋼鉄船は関係付けない
事実9: 仮にあるものが海外貿易でないとすればそれは根強いかあるいは関係付けるということはないかもしくは両方ともだ
事実10: 何かは関係付けるとしたらそれは海外貿易だ
事実11: 仮になんらかのものは根強いか関係付けないかあるいは両方ともであるとすると繁殖し易くない
事実12: あの休日労働は如何わしい
事実13: もし仮にその上場企業が差し出がましいがしかしそれが待ち合わせするということはないとするとあの休日労働は関係付ける
事実14: もしもなにがしかのものが待ち合わせするとしたらこの鋼鉄船は根強くない

仮説: この根保証責任は如何わしい
1. 仮定1: 以下のように仮定する。「その上場企業は差し出がましい一方で待ち合わせするということはない」ということは間違っている
2. 仮定1から、推論1: "「「差し出がましいがしかし待ち合わせしない」ということは間違いである」物はある"が導かれる
3. 推論1と事実4から、推論2: "「この鋼鉄船は根強くない」ということは真実である"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その上場企業は差し出がましいが待ち合わせしない"が導かれる
6. 推論4と事実13から、推論5: "あの休日労働は関係付ける"が導かれる
7. 事実10から、推論6: "もしもあの休日労働が関係付けるとすればそれは海外貿易である"が導かれる
8. 推論5と推論6から、推論7: "あの休日労働は海外貿易である"が導かれる
9. 推論7と事実2から、推論8: "あの休日労働は御館だけど繁殖し易いということはない"が導かれる
10. 推論8と事実6から、仮説が導かれる

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