あの補助定理は賦すない
fact1: あの補助定理はディザである fact2: もしあの補助定理がディザだとしたら賦す
$facts$ = fact1: あの補助定理はディザである fact2: もしあの補助定理がディザだとしたら賦す ; $hypothesis$ = あの補助定理は賦すない ; $proof$ = 
事実1: あの補助定理はディザである
事実2: もしあの補助定理がディザだとしたら賦す

仮説: あの補助定理は賦すない