The cow is blue. The cow is nice. The cow is round. If something is blue then it is not cold. If the cow is not red then the cow is cold. If something is cold then it is nice.
The cow is not round.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] @1: The cow is not cold.[(((triple1) -> rule1))]