あのアメリカ等は逸さない
fact1: あのアメリカ等は逸すしまた教習だ fact2: 仮にその企画観光課が逸すが共鳴し易くないならあのアメリカ等は逸さない fact3: もしなんらかの物は教習でないならそれは逸すがしかし共鳴し易くない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのアメリカ等は逸さない
fact5 -> int1: もしもその企画観光課は教習でないなら逸すが共鳴し易くない;
$facts$ = fact1: あのアメリカ等は逸すしまた教習だ fact2: 仮にその企画観光課が逸すが共鳴し易くないならあのアメリカ等は逸さない fact3: もしなんらかの物は教習でないならそれは逸すがしかし共鳴し易くない ; $hypothesis$ = あのアメリカ等は逸さない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あのアメリカ等は逸すしまた教習だ
事実2: 仮にその企画観光課が逸すが共鳴し易くないならあのアメリカ等は逸さない
事実3: もしなんらかの物は教習でないならそれは逸すがしかし共鳴し易くない

仮説: あのアメリカ等は逸さない
1. 事実1から、仮説が否定される

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