その治療開始はするするしまた巡り会う
fact1: もしも何らかのものは参画状況だということはないとすると「するするしそれは巡り会う」ということは正しくない fact2: その治療開始はするする fact3: その治療開始は巡り会う
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
「その治療開始はするするし加えて巡り会う」ということは正しくない
fact4 -> int1: もしもその治療開始は参画状況であるということはないとすれば「するするし加えてそれは巡り会う」ということは誤っている;
$facts$ = fact1: もしも何らかのものは参画状況だということはないとすると「するするしそれは巡り会う」ということは正しくない fact2: その治療開始はするする fact3: その治療開始は巡り会う ; $hypothesis$ = その治療開始はするするしまた巡り会う ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしも何らかのものは参画状況だということはないとすると「するするしそれは巡り会う」ということは正しくない
事実2: その治療開始はするする
事実3: その治療開始は巡り会う

仮説: その治療開始はするするしまた巡り会う
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。