The cow is cold. The cow is not nice. The cow is not round. Nice things are cold. Nice things are cold. If something is green and not cold then it is round. All green things are not round. If something is round then it is green. If something is cold then it is not green.
The cow is nice.
@0: The cow is cold.[(triple1)] The cow is not nice.[(triple2)] The cow is not round.[(triple3)] @1: The cow is not green.[(((triple1) -> rule6))]