The cow is blue. Round things are red. If the cow is blue then the cow is round. If the cow is round and the cow is red then the cow is cold.
The cow visits the cow.
@0: The cow is blue.[(triple1)] @1: The cow is round.[(((triple1) -> rule2))] @2: The cow is red.[(((((triple1) -> rule2)) -> rule1))] @3: The cow is cold.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]