あの再整備は走り続ける
fact1: もし何かは訴え続けるけど吝かでないならあの再整備は走り続けない fact2: とあるものは走り続けない fact3: もしこの上方向が吝かでないとするとあの再整備は訴え続けるし走り続ける fact4: とある物は訴え続ける一方でそれは吝かでない fact5: この名前自体は走り続けるということはない fact6: とあるものは農村問題であるがしかし竿するということはない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
あの再整備は走り続ける
$facts$ = fact1: もし何かは訴え続けるけど吝かでないならあの再整備は走り続けない fact2: とあるものは走り続けない fact3: もしこの上方向が吝かでないとするとあの再整備は訴え続けるし走り続ける fact4: とある物は訴え続ける一方でそれは吝かでない fact5: この名前自体は走り続けるということはない fact6: とあるものは農村問題であるがしかし竿するということはない ; $hypothesis$ = あの再整備は走り続ける ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし何かは訴え続けるけど吝かでないならあの再整備は走り続けない
事実2: とあるものは走り続けない
事実3: もしこの上方向が吝かでないとするとあの再整備は訴え続けるし走り続ける
事実4: とある物は訴え続ける一方でそれは吝かでない
事実5: この名前自体は走り続けるということはない
事実6: とあるものは農村問題であるがしかし竿するということはない

仮説: あの再整備は走り続ける
1. 事実4と事実1から、仮説が否定される

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