The cow is cold. All rough things are green. If something is green then it is kind. All green, kind things are rough. If something is green and not rough then it is not cold. If the cow is rough and the cow is not green then the cow is cold. If something is green and kind then it is not round. All cold, green things are round. If something is kind and not cold then it is round.
The cow is cold.
@0: The cow is cold.[(triple1)]