あの第七移動動物園は伸す
fact1: そのエクルビスは伸す fact2: あの第七移動動物園はオーバーシュートするしどうして良い fact3: あの竹叢は再吟味するし伸す fact4: あの第七移動動物園は伸すしそれに修復する fact5: あの舞台芸術団体は修復する fact6: その神戸本社は修復するしそれにそれは下車する fact7: あの吸収分割は小分けするし伸す fact8: あの第七移動動物園は法源であるしまた材木である fact9: この死刑廃止論は採集するしそれは実証出来る fact10: この粉体塗料は修復するし更に心苦しい fact11: あの第七移動動物園は腹黒い fact12: その向こう端は修復する fact13: あの第七移動動物園は刺々しいしおまけに入れ為さる fact14: 何かは修復しないけど強しとするとそれは伸さない fact15: あの第七移動動物園は遠い fact16: あの第七移動動物園は捕まえ易い fact17: あの第七移動動物園は修復する fact18: あの第七移動動物園は太り易い
fact4 -> hypothesis;
fact4 -> hypothesis;
あの第七移動動物園は伸さない
fact19 -> int1: あの第七移動動物園が修復しない一方で強しとしたら伸すということはない;
$facts$ = fact1: そのエクルビスは伸す fact2: あの第七移動動物園はオーバーシュートするしどうして良い fact3: あの竹叢は再吟味するし伸す fact4: あの第七移動動物園は伸すしそれに修復する fact5: あの舞台芸術団体は修復する fact6: その神戸本社は修復するしそれにそれは下車する fact7: あの吸収分割は小分けするし伸す fact8: あの第七移動動物園は法源であるしまた材木である fact9: この死刑廃止論は採集するしそれは実証出来る fact10: この粉体塗料は修復するし更に心苦しい fact11: あの第七移動動物園は腹黒い fact12: その向こう端は修復する fact13: あの第七移動動物園は刺々しいしおまけに入れ為さる fact14: 何かは修復しないけど強しとするとそれは伸さない fact15: あの第七移動動物園は遠い fact16: あの第七移動動物園は捕まえ易い fact17: あの第七移動動物園は修復する fact18: あの第七移動動物園は太り易い ; $hypothesis$ = あの第七移動動物園は伸す ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: そのエクルビスは伸す
事実2: あの第七移動動物園はオーバーシュートするしどうして良い
事実3: あの竹叢は再吟味するし伸す
事実4: あの第七移動動物園は伸すしそれに修復する
事実5: あの舞台芸術団体は修復する
事実6: その神戸本社は修復するしそれにそれは下車する
事実7: あの吸収分割は小分けするし伸す
事実8: あの第七移動動物園は法源であるしまた材木である
事実9: この死刑廃止論は採集するしそれは実証出来る
事実10: この粉体塗料は修復するし更に心苦しい
事実11: あの第七移動動物園は腹黒い
事実12: その向こう端は修復する
事実13: あの第七移動動物園は刺々しいしおまけに入れ為さる
事実14: 何かは修復しないけど強しとするとそれは伸さない
事実15: あの第七移動動物園は遠い
事実16: あの第七移動動物園は捕まえ易い
事実17: あの第七移動動物園は修復する
事実18: あの第七移動動物園は太り易い

仮説: あの第七移動動物園は伸す
1. 事実4から、仮説が導かれる

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