可決成立することは生じない
fact1: 成り易いということが起きる fact2: もし痛み易いということは発生しないなら「成り易いということが発生するけど招き易いということは起きない」ということは誤っている fact3: 「荒々しいということは起きない」ということは「可決成立することが起きる」ということを阻む fact4: 痛み易いということが生じる fact5: 「招き易いということが起きる」ということは成り易いということが契機だ fact6: もし招き易いということと痛み易いということが起きるとすれば荒々しいということは発生しない
fact5 & fact1 -> int1: 招き易いということが起きる; int1 & fact4 -> int2: 招き易いということが起こるしかつ痛み易いということが起こる; int2 & fact6 -> int3: 「荒々しいということは起きない」ということは成り立つ; int3 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact3 -> hypothesis;
可決成立することが発生する
$facts$ = fact1: 成り易いということが起きる fact2: もし痛み易いということは発生しないなら「成り易いということが発生するけど招き易いということは起きない」ということは誤っている fact3: 「荒々しいということは起きない」ということは「可決成立することが起きる」ということを阻む fact4: 痛み易いということが生じる fact5: 「招き易いということが起きる」ということは成り易いということが契機だ fact6: もし招き易いということと痛み易いということが起きるとすれば荒々しいということは発生しない ; $hypothesis$ = 可決成立することは生じない ; $proof$ = 
fact5 & fact1 -> int1: 招き易いということが起きる; int1 & fact4 -> int2: 招き易いということが起こるしかつ痛み易いということが起こる; int2 & fact6 -> int3: 「荒々しいということは起きない」ということは成り立つ; int3 & fact3 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact3 -> hypothesis; __PROVED__