この一時半は掘り始めるかそれは資本等であるかあるいは両方ともである
fact1: もし仮にとあるものは浮腫まないとしたら「それは掘り始めるしさらに手厚い」ということは成り立たない fact2: あの写真付きは長しし移行し易い fact3: 仮にその六箇月後が浮腫まないならこの一時半は資本等であるししかも浮腫む fact4: この窶れは経営破綻する fact5: 仮に「浮腫まないしその上掘り始めない」物があるならこの一時半は資本等でない fact6: もし何かは手厚くないとすればその六箇月後は遣り易いかあるいは読み難くない fact7: もしも「「掘り始めるし手厚い」ということは誤りである」ものがあるとしたらこの一時半は手厚くない fact8: 仮にその六箇月後が浮腫むということはないとするとこの一時半は浮腫む fact9: 読み難くない物でそれに遣り易い物はある fact10: もしあの写真付きが読み難くないとすればあの六箇月後は浮腫まない fact11: もしその六箇月後が遣り易くないとするとその威嚇射撃は浮腫むし遣り易い fact12: 手厚くないものが遣り易くないとしたらあの写真付きは読み難いということはない fact13: その威嚇射撃は手厚くなくて遣り易くない fact14: もしその六箇月後が遣り易いかまたはそれが読み難くないかもしくは両方ともであるとするとあの写真付きは遣り易い
fact13 -> int1: 手厚くないしさらに遣り易くない物はある; int1 & fact12 -> int2: あの写真付きは読み難くない; int2 & fact10 -> int3: その六箇月後は浮腫まない; int3 & fact3 -> int4: この一時半が資本等だしそれにそれは浮腫む; int4 -> int5: この一時半は資本等である; int5 -> hypothesis;
あの写真付きは遣り易い
fact16 -> int6: もし仮にこの窶れは浮腫まないとすると「掘り始めるしそれは手厚い」ということは成り立たない; fact15 -> int7: この窶れは経営破綻するか資本等であるか両方ともである;
$facts$ = fact1: もし仮にとあるものは浮腫まないとしたら「それは掘り始めるしさらに手厚い」ということは成り立たない fact2: あの写真付きは長しし移行し易い fact3: 仮にその六箇月後が浮腫まないならこの一時半は資本等であるししかも浮腫む fact4: この窶れは経営破綻する fact5: 仮に「浮腫まないしその上掘り始めない」物があるならこの一時半は資本等でない fact6: もし何かは手厚くないとすればその六箇月後は遣り易いかあるいは読み難くない fact7: もしも「「掘り始めるし手厚い」ということは誤りである」ものがあるとしたらこの一時半は手厚くない fact8: 仮にその六箇月後が浮腫むということはないとするとこの一時半は浮腫む fact9: 読み難くない物でそれに遣り易い物はある fact10: もしあの写真付きが読み難くないとすればあの六箇月後は浮腫まない fact11: もしその六箇月後が遣り易くないとするとその威嚇射撃は浮腫むし遣り易い fact12: 手厚くないものが遣り易くないとしたらあの写真付きは読み難いということはない fact13: その威嚇射撃は手厚くなくて遣り易くない fact14: もしその六箇月後が遣り易いかまたはそれが読み難くないかもしくは両方ともであるとするとあの写真付きは遣り易い ; $hypothesis$ = この一時半は掘り始めるかそれは資本等であるかあるいは両方ともである ; $proof$ = 
fact13 -> int1: 手厚くないしさらに遣り易くない物はある; int1 & fact12 -> int2: あの写真付きは読み難くない; int2 & fact10 -> int3: その六箇月後は浮腫まない; int3 & fact3 -> int4: この一時半が資本等だしそれにそれは浮腫む; int4 -> int5: この一時半は資本等である; int5 -> hypothesis; __PROVED__
事実1: もし仮にとあるものは浮腫まないとしたら「それは掘り始めるしさらに手厚い」ということは成り立たない
事実2: あの写真付きは長しし移行し易い
事実3: 仮にその六箇月後が浮腫まないならこの一時半は資本等であるししかも浮腫む
事実4: この窶れは経営破綻する
事実5: 仮に「浮腫まないしその上掘り始めない」物があるならこの一時半は資本等でない
事実6: もし何かは手厚くないとすればその六箇月後は遣り易いかあるいは読み難くない
事実7: もしも「「掘り始めるし手厚い」ということは誤りである」ものがあるとしたらこの一時半は手厚くない
事実8: 仮にその六箇月後が浮腫むということはないとするとこの一時半は浮腫む
事実9: 読み難くない物でそれに遣り易い物はある
事実10: もしあの写真付きが読み難くないとすればあの六箇月後は浮腫まない
事実11: もしその六箇月後が遣り易くないとするとその威嚇射撃は浮腫むし遣り易い
事実12: 手厚くないものが遣り易くないとしたらあの写真付きは読み難いということはない
事実13: その威嚇射撃は手厚くなくて遣り易くない
事実14: もしその六箇月後が遣り易いかまたはそれが読み難くないかもしくは両方ともであるとするとあの写真付きは遣り易い

仮説: この一時半は掘り始めるかそれは資本等であるかあるいは両方ともである
1. 事実13から、推論1: "手厚くないしさらに遣り易くない物はある"が導かれる
2. 推論1と事実12から、推論2: "あの写真付きは読み難くない"が導かれる
3. 推論2と事実10から、推論3: "その六箇月後は浮腫まない"が導かれる
4. 推論3と事実3から、推論4: "この一時半が資本等だしそれにそれは浮腫む"が導かれる
5. 推論4から、推論5: "この一時半は資本等である"が導かれる
6. 推論5から、仮説が導かれる

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