恐れ多いということは起こらない
fact1: 執念深いということが生じる fact2: 仮に執念深いということかもしくは最もらしいということか両方ともが生じるとしたら恐れ多いということは生じない fact3: ちょろいということが生じる
fact1 -> int1: 執念深いということか最もらしいということが起こる; int1 & fact2 -> hypothesis;
fact1 -> int1: ({A} v {B}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 執念深いということが生じる fact2: 仮に執念深いということかもしくは最もらしいということか両方ともが生じるとしたら恐れ多いということは生じない fact3: ちょろいということが生じる ; $hypothesis$ = 恐れ多いということは起こらない ; $proof$ = 
fact1 -> int1: 執念深いということか最もらしいということが起こる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({A} v {B}); int1 & fact2 -> hypothesis; __PROVED__