... the same we do with conditional logic you would get something ... . We know nothing about the entire group of red things based ... be true provided our original statement because we don't know ... " that the contrapositive of that statement alone would be "/C -> ...