この些は進み行くしそれに入居する
fact1: あのチーク材はぶら下げるししかも話し辛い fact2: 「この些は気弱いならば「この日没後は入居する」ということは確かである」ということは事実だ fact3: あの本格物は進み行く fact4: この些は進み行く fact5: この日没後は気弱い fact6: もしも何らかの物は受容出来るということはないとすれば「それは進み行くしまた入居する」ということは成り立たない fact7: あのウリン材は受容出来るし加えて出窓である fact8: 仮にこの些が煎餅工場でないとすれば入居する fact9: 仮にこの日没後が気弱くて生成し易いならこの些は煎餅工場でない fact10: もしもこの日没後が嬉しいならそれは怒鳴り返す fact11: 仮にあのウリン材は受容出来るとしたら「この日没後は嬉しい」ということは本当である fact12: あのウリン材は出窓だ fact13: もし仮にこの日没後が怒鳴り返すとすると生成し易い fact14: あのウリン材が嬉しくなくてそれに受容出来ないとするとこの些は受容出来ない fact15: もしこの日没後が入居すればこの些は生成し易い fact16: この日没後は進み行く fact17: もしもこの日没後が出窓であるしおまけに生成し易いとするとあのウリン材は受容出来るということはない
fact7 -> int1: あのウリン材は受容出来る; int1 & fact11 -> int2: この日没後は嬉しい; int2 & fact10 -> int3: この日没後は怒鳴り返す; int3 & fact13 -> int4: この日没後は生成し易い; int4 & fact5 -> int5: この日没後は気弱くて生成し易い; int5 & fact9 -> int6: この些は煎餅工場でない; int6 & fact8 -> int7: この些は入居する; int7 & fact4 -> hypothesis;
「この些は進み行くし更に入居する」ということは事実と異なる
fact19 -> int8: もしこの些は受容出来ないならば「進み行くし入居する」ということは成り立たない;
$facts$ = fact1: あのチーク材はぶら下げるししかも話し辛い fact2: 「この些は気弱いならば「この日没後は入居する」ということは確かである」ということは事実だ fact3: あの本格物は進み行く fact4: この些は進み行く fact5: この日没後は気弱い fact6: もしも何らかの物は受容出来るということはないとすれば「それは進み行くしまた入居する」ということは成り立たない fact7: あのウリン材は受容出来るし加えて出窓である fact8: 仮にこの些が煎餅工場でないとすれば入居する fact9: 仮にこの日没後が気弱くて生成し易いならこの些は煎餅工場でない fact10: もしもこの日没後が嬉しいならそれは怒鳴り返す fact11: 仮にあのウリン材は受容出来るとしたら「この日没後は嬉しい」ということは本当である fact12: あのウリン材は出窓だ fact13: もし仮にこの日没後が怒鳴り返すとすると生成し易い fact14: あのウリン材が嬉しくなくてそれに受容出来ないとするとこの些は受容出来ない fact15: もしこの日没後が入居すればこの些は生成し易い fact16: この日没後は進み行く fact17: もしもこの日没後が出窓であるしおまけに生成し易いとするとあのウリン材は受容出来るということはない ; $hypothesis$ = この些は進み行くしそれに入居する ; $proof$ = 
fact7 -> int1: あのウリン材は受容出来る; int1 & fact11 -> int2: この日没後は嬉しい; int2 & fact10 -> int3: この日没後は怒鳴り返す; int3 & fact13 -> int4: この日没後は生成し易い; int4 & fact5 -> int5: この日没後は気弱くて生成し易い; int5 & fact9 -> int6: この些は煎餅工場でない; int6 & fact8 -> int7: この些は入居する; int7 & fact4 -> hypothesis; __PROVED__
事実1: あのチーク材はぶら下げるししかも話し辛い
事実2: 「この些は気弱いならば「この日没後は入居する」ということは確かである」ということは事実だ
事実3: あの本格物は進み行く
事実4: この些は進み行く
事実5: この日没後は気弱い
事実6: もしも何らかの物は受容出来るということはないとすれば「それは進み行くしまた入居する」ということは成り立たない
事実7: あのウリン材は受容出来るし加えて出窓である
事実8: 仮にこの些が煎餅工場でないとすれば入居する
事実9: 仮にこの日没後が気弱くて生成し易いならこの些は煎餅工場でない
事実10: もしもこの日没後が嬉しいならそれは怒鳴り返す
事実11: 仮にあのウリン材は受容出来るとしたら「この日没後は嬉しい」ということは本当である
事実12: あのウリン材は出窓だ
事実13: もし仮にこの日没後が怒鳴り返すとすると生成し易い
事実14: あのウリン材が嬉しくなくてそれに受容出来ないとするとこの些は受容出来ない
事実15: もしこの日没後が入居すればこの些は生成し易い
事実16: この日没後は進み行く
事実17: もしもこの日没後が出窓であるしおまけに生成し易いとするとあのウリン材は受容出来るということはない

仮説: この些は進み行くしそれに入居する
1. 事実7から、推論1: "あのウリン材は受容出来る"が導かれる
2. 推論1と事実11から、推論2: "この日没後は嬉しい"が導かれる
3. 推論2と事実10から、推論3: "この日没後は怒鳴り返す"が導かれる
4. 推論3と事実13から、推論4: "この日没後は生成し易い"が導かれる
5. 推論4と事実5から、推論5: "この日没後は気弱くて生成し易い"が導かれる
6. 推論5と事実9から、推論6: "この些は煎餅工場でない"が導かれる
7. 推論6と事実8から、推論7: "この些は入居する"が導かれる
8. 推論7と事実4から、仮説が導かれる

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