「この契約成立は摩り替わる」ということは成り立つ
fact1: もしこの杜仲が素っ気ないとしたらこの契約成立は摩り替わらない fact2: この杜仲が怒鳴り合うとすればこの契約成立は摩り替わらない fact3: この杜仲は怒鳴り合うかあるいは素っ気ないかまたは両方ともである
$facts$ = fact1: もしこの杜仲が素っ気ないとしたらこの契約成立は摩り替わらない fact2: この杜仲が怒鳴り合うとすればこの契約成立は摩り替わらない fact3: この杜仲は怒鳴り合うかあるいは素っ気ないかまたは両方ともである ; $hypothesis$ = 「この契約成立は摩り替わる」ということは成り立つ ; $proof$ = 
事実1: もしこの杜仲が素っ気ないとしたらこの契約成立は摩り替わらない
事実2: この杜仲が怒鳴り合うとすればこの契約成立は摩り替わらない
事実3: この杜仲は怒鳴り合うかあるいは素っ気ないかまたは両方ともである

仮説: 「この契約成立は摩り替わる」ということは成り立つ