This can be translated informally as `` one ( or both ) of A or B is known to be true , but they both imply C , so regardless of the truth values of A and B we can conclude C. ''
Which can be translated informally as `` one ( or both ) of A or B is known to be true , but they both imply C , so regardless of the truth values of A and B we can conclude C. ''