「弱いということは生じない」ということは真実だ
fact1: 「弱いということは生じない」ということは「喜ばしいということが起こる」ということに起因する fact2: もし仮に見極め難いということが発生するかもしくは喜ばしいということは発生するかあるいは両方ともであるとしたら弱いということは起きない fact3: 分かり難いということが起きる fact4: 「見極め難いということが起きるがしかし喜ばしいということは発生しない」ということは偽であるとすると見極め難いということは生じない fact5: 懐かしいということは起こらない fact6: 「分かり難いということが起きる」ということは見極め難いということを誘発する
fact6 & fact3 -> int1: 見極め難いということが起きる; int1 -> int2: 見極め難いということが生じるか喜ばしいということが生じる; int2 & fact2 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
弱いということが生じる
$facts$ = fact1: 「弱いということは生じない」ということは「喜ばしいということが起こる」ということに起因する fact2: もし仮に見極め難いということが発生するかもしくは喜ばしいということは発生するかあるいは両方ともであるとしたら弱いということは起きない fact3: 分かり難いということが起きる fact4: 「見極め難いということが起きるがしかし喜ばしいということは発生しない」ということは偽であるとすると見極め難いということは生じない fact5: 懐かしいということは起こらない fact6: 「分かり難いということが起きる」ということは見極め難いということを誘発する ; $hypothesis$ = 「弱いということは生じない」ということは真実だ ; $proof$ = 
fact6 & fact3 -> int1: 見極め難いということが起きる; int1 -> int2: 見極め難いということが生じるか喜ばしいということが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__