しても良いということは発生しない
fact1: しても良いということはスポーツマンらしいということが起こるということか割譲することが発生するということに阻まれる fact2: スポーツマンらしいということが起こる
fact2 -> int1: スポーツマンらしいということが生じるかあるいは割譲することが発生するかまたは両方ともだ; int1 & fact1 -> hypothesis;
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
$facts$ = fact1: しても良いということはスポーツマンらしいということが起こるということか割譲することが発生するということに阻まれる fact2: スポーツマンらしいということが起こる ; $hypothesis$ = しても良いということは発生しない ; $proof$ = 
fact2 -> int1: スポーツマンらしいということが生じるかあるいは割譲することが発生するかまたは両方ともだ; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __PROVED__