その前方循環は感触でない
fact1: あの普通方式は保持す fact2: あの普通方式が保持すればその前方循環は感触である fact3: そのリストラは保持す
$facts$ = fact1: あの普通方式は保持す fact2: あの普通方式が保持すればその前方循環は感触である fact3: そのリストラは保持す ; $hypothesis$ = その前方循環は感触でない ; $proof$ = 
事実1: あの普通方式は保持す
事実2: あの普通方式が保持すればその前方循環は感触である
事実3: そのリストラは保持す

仮説: その前方循環は感触でない