あの野菜生産は止めど無くない
fact1: 地中海世界は先着する fact2: もしもこの運転資本が先着するとするとあの野菜生産は止めど無い fact3: この運転資本は行き易くない fact4: もししても良くないものが強襲しないとしたらそれは地中海世界だ fact5: もし仮にこの運転資本が行き易くないとするとそれはしても良くないし強襲しない
fact5 & fact3 -> int1: この運転資本はしても良くないしかつそれは強襲しない; fact4 -> int2: この運転資本はしても良くないしかつ強襲しないとするとそれは地中海世界だ; int1 & int2 -> int3: この運転資本は地中海世界である; fact1 -> int4: この運転資本は地中海世界であるとすれば先着する; int3 & int4 -> int5: この運転資本は先着する; int5 & fact2 -> hypothesis;
$facts$ = fact1: 地中海世界は先着する fact2: もしもこの運転資本が先着するとするとあの野菜生産は止めど無い fact3: この運転資本は行き易くない fact4: もししても良くないものが強襲しないとしたらそれは地中海世界だ fact5: もし仮にこの運転資本が行き易くないとするとそれはしても良くないし強襲しない ; $hypothesis$ = あの野菜生産は止めど無くない ; $proof$ = 
fact5 & fact3 -> int1: この運転資本はしても良くないしかつそれは強襲しない; fact4 -> int2: この運転資本はしても良くないしかつ強襲しないとするとそれは地中海世界だ; int1 & int2 -> int3: この運転資本は地中海世界である; fact1 -> int4: この運転資本は地中海世界であるとすれば先着する; int3 & int4 -> int5: この運転資本は先着する; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: 地中海世界は先着する
事実2: もしもこの運転資本が先着するとするとあの野菜生産は止めど無い
事実3: この運転資本は行き易くない
事実4: もししても良くないものが強襲しないとしたらそれは地中海世界だ
事実5: もし仮にこの運転資本が行き易くないとするとそれはしても良くないし強襲しない

仮説: あの野菜生産は止めど無くない
1. 事実5と事実3から、推論1: "この運転資本はしても良くないしかつそれは強襲しない"が導かれる
2. 事実4から、推論2: "この運転資本はしても良くないしかつ強襲しないとするとそれは地中海世界だ"が導かれる
3. 推論1と推論2から、推論3: "この運転資本は地中海世界である"が導かれる
4. 事実1から、推論4: "この運転資本は地中海世界であるとすれば先着する"が導かれる
5. 推論3と推論4から、推論5: "この運転資本は先着する"が導かれる
6. 推論5と事実2から、仮説が否定される

よって、仮説が否定されました。