確からしいということと寒しということが発生する
fact1: 「相談し易いということが生じる」ということは成り立つ fact2: もし仮に相談し易いということが生じるとしたら確からしいということが発生する fact3: 「寒しということが発生する」ということは確かである
fact2 & fact1 -> int1: 「確からしいということが起こる」ということは正しい; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「相談し易いということが生じる」ということは成り立つ fact2: もし仮に相談し易いということが生じるとしたら確からしいということが発生する fact3: 「寒しということが発生する」ということは確かである ; $hypothesis$ = 確からしいということと寒しということが発生する ; $proof$ = 
fact2 & fact1 -> int1: 「確からしいということが起こる」ということは正しい; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__