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 is not rough.
@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))]