この効率的利用は把握し辛くない
fact1: この効率的利用は蹴倒さない fact2: あるものは中央高速道路だがしかし直送しないならばそれは把握し辛いということはない fact3: あの黄斑部は蹴倒さない fact4: この効率的利用が蹴倒さないとすると中央高速道路でそれに直送しない
fact2 -> int1: この効率的利用が中央高速道路だ一方で直送しないならばそれは把握し辛くない; fact1 & fact4 -> int2: この効率的利用は中央高速道路だけれどそれは直送するということはない; int1 & int2 -> hypothesis;
$facts$ = fact1: この効率的利用は蹴倒さない fact2: あるものは中央高速道路だがしかし直送しないならばそれは把握し辛いということはない fact3: あの黄斑部は蹴倒さない fact4: この効率的利用が蹴倒さないとすると中央高速道路でそれに直送しない ; $hypothesis$ = この効率的利用は把握し辛くない ; $proof$ = 
fact2 -> int1: この効率的利用が中央高速道路だ一方で直送しないならばそれは把握し辛くない; fact1 & fact4 -> int2: この効率的利用は中央高速道路だけれどそれは直送するということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: この効率的利用は蹴倒さない
事実2: あるものは中央高速道路だがしかし直送しないならばそれは把握し辛いということはない
事実3: あの黄斑部は蹴倒さない
事実4: この効率的利用が蹴倒さないとすると中央高速道路でそれに直送しない

仮説: この効率的利用は把握し辛くない
1. 事実2から、推論1: "この効率的利用が中央高速道路だ一方で直送しないならばそれは把握し辛くない"が導かれる
2. 事実1と事実4から、推論2: "この効率的利用は中央高速道路だけれどそれは直送するということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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