The cow is not blue. The cow is cold. The cow is not green. The cow is not nice. The cow is not rough. If something is rough and nice then it is cold. All nice things are not cold. If something is rough then it is not cold. Rough things are green. Nice things are green. All nice, blue things are rough. If something is green and not nice then it is not rough. If the cow is rough and the cow is cold then the cow is blue.
The cow does not chase the cow.
@0: The cow is cold.[(triple2)] The cow is not blue.[(triple1)] The cow is not green.[(triple3)] The cow is not nice.[(triple4)] The cow is not rough.[(triple5)]