The cow is big. Red things are nice. Big things are red. All blue, red things are big. Big, nice things are blue. All blue things are cold. If something is cold then it is blue.
The cow is nice.
@0: The cow is big.[(triple1)] @1: The cow is red.[(((triple1) -> rule2))] @2: The cow is nice.[(((((triple1) -> rule2)) -> rule1))] @3: The cow is blue.[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4))] @4: The cow is cold.[(((((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule5))]