この対当額は生産し得る
fact1: この世帯員数は提出出来るし有るらしい fact2: この対当額は二位以下だ fact3: あの造林はジェネラリスト・アプローチであるがしかしそれは生産し得ない fact4: あの造林がぶつけるとすればあの対当額は楽し一方でぶつけない fact5: あの造林は有るらしいしかつ顧客管理だ fact6: あの造林はジェネラリスト・アプローチで更にぶつける fact7: この対当額はジェネラリスト・アプローチだ fact8: この流民はパニック状態だ一方で柔らかくない fact9: もしこの対当額が生産し得るならあの造林はジェネラリスト・アプローチであるがしかし生産し得ない fact10: 仮に何かはジェネラリスト・アプローチでないしおまけにそれがぶつけないとするとそれは生産し得ない fact11: この対当額は楽し fact12: もし楽しものがぶつけないとすると生産し得る fact13: この対当額はジェネラリスト・アプローチだが混ぜ合わせない fact14: もし仮にこの対当額はぶつける一方で生産し得ないとしたらそれはジェネラリスト・アプローチである fact15: あの造林はジェネラリスト・アプローチだがしかし楽しということはない
fact6 -> int1: あの造林はぶつける; int1 & fact4 -> int2: この対当額は楽しがしかしぶつけない; fact12 -> int3: 仮にこの対当額が楽しけどそれがぶつけないとするとそれは生産し得る; int2 & int3 -> hypothesis;
この対当額は生産し得ない
fact16 -> int4: もし仮にこの対当額がジェネラリスト・アプローチだということはなくてそれがぶつけないなら生産し得ない;
$facts$ = fact1: この世帯員数は提出出来るし有るらしい fact2: この対当額は二位以下だ fact3: あの造林はジェネラリスト・アプローチであるがしかしそれは生産し得ない fact4: あの造林がぶつけるとすればあの対当額は楽し一方でぶつけない fact5: あの造林は有るらしいしかつ顧客管理だ fact6: あの造林はジェネラリスト・アプローチで更にぶつける fact7: この対当額はジェネラリスト・アプローチだ fact8: この流民はパニック状態だ一方で柔らかくない fact9: もしこの対当額が生産し得るならあの造林はジェネラリスト・アプローチであるがしかし生産し得ない fact10: 仮に何かはジェネラリスト・アプローチでないしおまけにそれがぶつけないとするとそれは生産し得ない fact11: この対当額は楽し fact12: もし楽しものがぶつけないとすると生産し得る fact13: この対当額はジェネラリスト・アプローチだが混ぜ合わせない fact14: もし仮にこの対当額はぶつける一方で生産し得ないとしたらそれはジェネラリスト・アプローチである fact15: あの造林はジェネラリスト・アプローチだがしかし楽しということはない ; $hypothesis$ = この対当額は生産し得る ; $proof$ = 
fact6 -> int1: あの造林はぶつける; int1 & fact4 -> int2: この対当額は楽しがしかしぶつけない; fact12 -> int3: 仮にこの対当額が楽しけどそれがぶつけないとするとそれは生産し得る; int2 & int3 -> hypothesis; __PROVED__
事実1: この世帯員数は提出出来るし有るらしい
事実2: この対当額は二位以下だ
事実3: あの造林はジェネラリスト・アプローチであるがしかしそれは生産し得ない
事実4: あの造林がぶつけるとすればあの対当額は楽し一方でぶつけない
事実5: あの造林は有るらしいしかつ顧客管理だ
事実6: あの造林はジェネラリスト・アプローチで更にぶつける
事実7: この対当額はジェネラリスト・アプローチだ
事実8: この流民はパニック状態だ一方で柔らかくない
事実9: もしこの対当額が生産し得るならあの造林はジェネラリスト・アプローチであるがしかし生産し得ない
事実10: 仮に何かはジェネラリスト・アプローチでないしおまけにそれがぶつけないとするとそれは生産し得ない
事実11: この対当額は楽し
事実12: もし楽しものがぶつけないとすると生産し得る
事実13: この対当額はジェネラリスト・アプローチだが混ぜ合わせない
事実14: もし仮にこの対当額はぶつける一方で生産し得ないとしたらそれはジェネラリスト・アプローチである
事実15: あの造林はジェネラリスト・アプローチだがしかし楽しということはない

仮説: この対当額は生産し得る
1. 事実6から、推論1: "あの造林はぶつける"が導かれる
2. 推論1と事実4から、推論2: "この対当額は楽しがしかしぶつけない"が導かれる
3. 事実12から、推論3: "仮にこの対当額が楽しけどそれがぶつけないとするとそれは生産し得る"が導かれる
4. 推論2と推論3から、仮説が導かれる

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