その各駅は降伏するけれど伸び易くない
fact1: もしあの労働時間中が使い始めないとしたらその増高は歯周だ一方でそれは使い始めない fact2: もしその増高が歯周であるならその舞姫は減税する fact3: この来寇は軟らかくて歯周である fact4: もしあるものは立ち消えないとすれば「それは伸び易いということはない」ということは間違っていない fact5: もしも「その増高は立ち消える」ということは成り立つとすればあの労働時間中は歯周である fact6: 「その増高は使い始めるし更に歯周である」ということは事実である fact7: もしもその舞姫が減税するとするとあの労働時間中は立ち消えない fact8: もし歯周が減税しないとするとそれは使い始めない fact9: その増高は使い始める fact10: その各駅は伸び易くない fact11: もし仮にあの労働時間中が伸び易いということはないとしたらその各駅は伸び易くない fact12: あの労働時間中が伸び易くないとすればその各駅は降伏するがしかし伸び易くない fact13: もし仮にあるものは歯周でないとしたら伸び易くない fact14: あの労働時間中は慌ただしい
fact6 -> int1: その増高は歯周だ; int1 & fact2 -> int2: 「その舞姫は減税する」ということは成り立つ; int2 & fact7 -> int3: あの労働時間中は立ち消えない; fact4 -> int4: もし仮にあの労働時間中は立ち消えないとすれば「それは伸び易いということはない」ということは本当である; int3 & int4 -> int5: 「あの労働時間中は伸び易くない」ということは事実である; int5 & fact12 -> hypothesis;
「その各駅は降伏するがしかしそれは伸び易くない」ということは誤りだ
fact15 -> int6: 仮にその増高が歯周だがしかし減税しないなら使い始めない;
$facts$ = fact1: もしあの労働時間中が使い始めないとしたらその増高は歯周だ一方でそれは使い始めない fact2: もしその増高が歯周であるならその舞姫は減税する fact3: この来寇は軟らかくて歯周である fact4: もしあるものは立ち消えないとすれば「それは伸び易いということはない」ということは間違っていない fact5: もしも「その増高は立ち消える」ということは成り立つとすればあの労働時間中は歯周である fact6: 「その増高は使い始めるし更に歯周である」ということは事実である fact7: もしもその舞姫が減税するとするとあの労働時間中は立ち消えない fact8: もし歯周が減税しないとするとそれは使い始めない fact9: その増高は使い始める fact10: その各駅は伸び易くない fact11: もし仮にあの労働時間中が伸び易いということはないとしたらその各駅は伸び易くない fact12: あの労働時間中が伸び易くないとすればその各駅は降伏するがしかし伸び易くない fact13: もし仮にあるものは歯周でないとしたら伸び易くない fact14: あの労働時間中は慌ただしい ; $hypothesis$ = その各駅は降伏するけれど伸び易くない ; $proof$ = 
fact6 -> int1: その増高は歯周だ; int1 & fact2 -> int2: 「その舞姫は減税する」ということは成り立つ; int2 & fact7 -> int3: あの労働時間中は立ち消えない; fact4 -> int4: もし仮にあの労働時間中は立ち消えないとすれば「それは伸び易いということはない」ということは本当である; int3 & int4 -> int5: 「あの労働時間中は伸び易くない」ということは事実である; int5 & fact12 -> hypothesis; __PROVED__
事実1: もしあの労働時間中が使い始めないとしたらその増高は歯周だ一方でそれは使い始めない
事実2: もしその増高が歯周であるならその舞姫は減税する
事実3: この来寇は軟らかくて歯周である
事実4: もしあるものは立ち消えないとすれば「それは伸び易いということはない」ということは間違っていない
事実5: もしも「その増高は立ち消える」ということは成り立つとすればあの労働時間中は歯周である
事実6: 「その増高は使い始めるし更に歯周である」ということは事実である
事実7: もしもその舞姫が減税するとするとあの労働時間中は立ち消えない
事実8: もし歯周が減税しないとするとそれは使い始めない
事実9: その増高は使い始める
事実10: その各駅は伸び易くない
事実11: もし仮にあの労働時間中が伸び易いということはないとしたらその各駅は伸び易くない
事実12: あの労働時間中が伸び易くないとすればその各駅は降伏するがしかし伸び易くない
事実13: もし仮にあるものは歯周でないとしたら伸び易くない
事実14: あの労働時間中は慌ただしい

仮説: その各駅は降伏するけれど伸び易くない
1. 事実6から、推論1: "その増高は歯周だ"が導かれる
2. 推論1と事実2から、推論2: "「その舞姫は減税する」ということは成り立つ"が導かれる
3. 推論2と事実7から、推論3: "あの労働時間中は立ち消えない"が導かれる
4. 事実4から、推論4: "もし仮にあの労働時間中は立ち消えないとすれば「それは伸び易いということはない」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "「あの労働時間中は伸び易くない」ということは事実である"が導かれる
6. 推論5と事実12から、仮説が導かれる

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