The cow is red. Cold people are round. All nice people are round. If someone is round and rough then they are nice. If someone is red then they are round. If the cow is rough and the cow is cold then the cow is nice. If the cow is round then the cow is rough.
The cow is not round.
@0: The cow is red.[(triple1)] @1: The cow is round.[(((triple1) -> rule4))] @2: The cow is rough.[(((((triple1) -> rule4)) -> rule6))] @3: The cow is nice.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3))]