「この討論は対抗する」ということは嘘でない
fact1: この討論は開城しないがしかし成功し易い fact2: この討論は開城しないがしかし成功し易いとすると対抗しない
$facts$ = fact1: この討論は開城しないがしかし成功し易い fact2: この討論は開城しないがしかし成功し易いとすると対抗しない ; $hypothesis$ = 「この討論は対抗する」ということは嘘でない ; $proof$ = 
事実1: この討論は開城しないがしかし成功し易い
事実2: この討論は開城しないがしかし成功し易いとすると対抗しない

仮説: 「この討論は対抗する」ということは嘘でない