その数値計算結果は生き抜かないしそれにそれは基本契約でない
fact1: なにかは先端だ fact2: もしも何かは先端であるならその数値計算結果は生き抜かないしさらに基本契約でない
$facts$ = fact1: なにかは先端だ fact2: もしも何かは先端であるならその数値計算結果は生き抜かないしさらに基本契約でない ; $hypothesis$ = その数値計算結果は生き抜かないしそれにそれは基本契約でない ; $proof$ = 
事実1: なにかは先端だ
事実2: もしも何かは先端であるならその数値計算結果は生き抜かないしさらに基本契約でない

仮説: その数値計算結果は生き抜かないしそれにそれは基本契約でない