この十二冊は取り零すということはない
fact1: この十二冊は取り零す fact2: この総加増は取り零す
$facts$ = fact1: この十二冊は取り零す fact2: この総加増は取り零す ; $hypothesis$ = この十二冊は取り零すということはない ; $proof$ = 
事実1: この十二冊は取り零す
事実2: この総加増は取り零す

仮説: この十二冊は取り零すということはない