The cow is round. If the cow is blue then the cow is cold. All cold, blue people are rough. Round people are blue.
The cow does not chase the cow.
@0: The cow is round.[(triple1)] @1: The cow is blue.[(((triple1) -> rule3))] @2: The cow is cold.[(((((triple1) -> rule3)) -> rule1))] @3: The cow is rough.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]