もしその本動詞が限界費用和でないし今しないとすればあの上場株式は急便である
fact1: その本動詞が限界費用和でないけど今するならあの上場株式は急便だ fact2: その本動詞は申し訳無いけれど急便でないとすればそれは忘れ易い fact3: もしなんらかの物が卒倒さない一方で今するなら申し訳無い fact4: この地連は申し訳無い fact5: その本動詞が限界費用和だということはないが朽ちるとしたらあの上場株式は急便である fact6: その本動詞が申し訳無いとしたらこの地連は卒倒する fact7: その本動詞は長細いということはなくてそれは限界費用和でない fact8: もし「この地連は卒倒する」ということは事実であるとすればあの上場株式は長細い fact9: その本動詞は限界費用和である一方で今しないとすると「申し訳無い」ということは成り立つ fact10: もしもある物が朽ちればそれは今する fact11: もしもとあるものが卒倒するけど急便でないならばそれは長細い fact12: もしあの上場株式が卒倒するがそれが朽ちないなら急便だ fact13: もしその本動詞が忘れ易いとすると今する fact14: この地連は朽ちる fact15: あの上場株式が朽ちるとしたらそれは急便である fact16: その大北は忘れ易い fact17: 長細いものは忘れ易い fact18: この地連は限界費用和である fact19: もしも「とある物は限界費用和でないししかも今しない」ということは事実であるとすれば「それは申し訳無くない」ということは事実と異なる fact20: もしあの上場株式は破瓜しないがしかし荒っぽいとすれば卒倒する fact21: 仮にその本動詞が忘れ易くない一方で朽ちるとしたらあの上場株式は申し訳無い fact22: もし仮に「その本動詞は限界費用和だ」ということは事実ならば朽ちる fact23: その本動詞は霊泉である fact24: 「あの上場株式は忘れ易い」ということは事実だとすれば「それは朽ちる」ということは成り立つ
fact19 -> int1: もしもその本動詞が限界費用和でなくてそれが今しないなら申し訳無い; void -> assump1: 以下のように仮定する。その本動詞は限界費用和であるということはないしさらに今しない; int1 & assump1 -> int2: その本動詞は申し訳無い; int2 & fact6 -> int3: この地連は卒倒する; int3 & fact8 -> int4: あの上場株式は長細い; fact17 -> int5: もしもあの上場株式が長細いとすると忘れ易い; int4 & int5 -> int6: あの上場株式は忘れ易い; int6 & fact24 -> int7: あの上場株式は朽ちる; int7 & fact15 -> int8: あの上場株式は急便である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: その本動詞が限界費用和でないけど今するならあの上場株式は急便だ fact2: その本動詞は申し訳無いけれど急便でないとすればそれは忘れ易い fact3: もしなんらかの物が卒倒さない一方で今するなら申し訳無い fact4: この地連は申し訳無い fact5: その本動詞が限界費用和だということはないが朽ちるとしたらあの上場株式は急便である fact6: その本動詞が申し訳無いとしたらこの地連は卒倒する fact7: その本動詞は長細いということはなくてそれは限界費用和でない fact8: もし「この地連は卒倒する」ということは事実であるとすればあの上場株式は長細い fact9: その本動詞は限界費用和である一方で今しないとすると「申し訳無い」ということは成り立つ fact10: もしもある物が朽ちればそれは今する fact11: もしもとあるものが卒倒するけど急便でないならばそれは長細い fact12: もしあの上場株式が卒倒するがそれが朽ちないなら急便だ fact13: もしその本動詞が忘れ易いとすると今する fact14: この地連は朽ちる fact15: あの上場株式が朽ちるとしたらそれは急便である fact16: その大北は忘れ易い fact17: 長細いものは忘れ易い fact18: この地連は限界費用和である fact19: もしも「とある物は限界費用和でないししかも今しない」ということは事実であるとすれば「それは申し訳無くない」ということは事実と異なる fact20: もしあの上場株式は破瓜しないがしかし荒っぽいとすれば卒倒する fact21: 仮にその本動詞が忘れ易くない一方で朽ちるとしたらあの上場株式は申し訳無い fact22: もし仮に「その本動詞は限界費用和だ」ということは事実ならば朽ちる fact23: その本動詞は霊泉である fact24: 「あの上場株式は忘れ易い」ということは事実だとすれば「それは朽ちる」ということは成り立つ ; $hypothesis$ = もしその本動詞が限界費用和でないし今しないとすればあの上場株式は急便である ; $proof$ = 
fact19 -> int1: もしもその本動詞が限界費用和でなくてそれが今しないなら申し訳無い; void -> assump1: 以下のように仮定する。その本動詞は限界費用和であるということはないしさらに今しない; int1 & assump1 -> int2: その本動詞は申し訳無い; int2 & fact6 -> int3: この地連は卒倒する; int3 & fact8 -> int4: あの上場株式は長細い; fact17 -> int5: もしもあの上場株式が長細いとすると忘れ易い; int4 & int5 -> int6: あの上場株式は忘れ易い; int6 & fact24 -> int7: あの上場株式は朽ちる; int7 & fact15 -> int8: あの上場株式は急便である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: その本動詞が限界費用和でないけど今するならあの上場株式は急便だ
事実2: その本動詞は申し訳無いけれど急便でないとすればそれは忘れ易い
事実3: もしなんらかの物が卒倒さない一方で今するなら申し訳無い
事実4: この地連は申し訳無い
事実5: その本動詞が限界費用和だということはないが朽ちるとしたらあの上場株式は急便である
事実6: その本動詞が申し訳無いとしたらこの地連は卒倒する
事実7: その本動詞は長細いということはなくてそれは限界費用和でない
事実8: もし「この地連は卒倒する」ということは事実であるとすればあの上場株式は長細い
事実9: その本動詞は限界費用和である一方で今しないとすると「申し訳無い」ということは成り立つ
事実10: もしもある物が朽ちればそれは今する
事実11: もしもとあるものが卒倒するけど急便でないならばそれは長細い
事実12: もしあの上場株式が卒倒するがそれが朽ちないなら急便だ
事実13: もしその本動詞が忘れ易いとすると今する
事実14: この地連は朽ちる
事実15: あの上場株式が朽ちるとしたらそれは急便である
事実16: その大北は忘れ易い
事実17: 長細いものは忘れ易い
事実18: この地連は限界費用和である
事実19: もしも「とある物は限界費用和でないししかも今しない」ということは事実であるとすれば「それは申し訳無くない」ということは事実と異なる
事実20: もしあの上場株式は破瓜しないがしかし荒っぽいとすれば卒倒する
事実21: 仮にその本動詞が忘れ易くない一方で朽ちるとしたらあの上場株式は申し訳無い
事実22: もし仮に「その本動詞は限界費用和だ」ということは事実ならば朽ちる
事実23: その本動詞は霊泉である
事実24: 「あの上場株式は忘れ易い」ということは事実だとすれば「それは朽ちる」ということは成り立つ

仮説: もしその本動詞が限界費用和でないし今しないとすればあの上場株式は急便である
1. 事実19から、推論1: "もしもその本動詞が限界費用和でなくてそれが今しないなら申し訳無い"が導かれる
2. 仮定1: 以下のように仮定する。その本動詞は限界費用和であるということはないしさらに今しない
3. 推論1と仮定1から、推論2: "その本動詞は申し訳無い"が導かれる
4. 推論2と事実6から、推論3: "この地連は卒倒する"が導かれる
5. 推論3と事実8から、推論4: "あの上場株式は長細い"が導かれる
6. 事実17から、推論5: "もしもあの上場株式が長細いとすると忘れ易い"が導かれる
7. 推論4と推論5から、推論6: "あの上場株式は忘れ易い"が導かれる
8. 推論6と事実24から、推論7: "あの上場株式は朽ちる"が導かれる
9. 推論7と事実15から、推論8: "あの上場株式は急便である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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