The cow is cold. Young things are nice. Cold things are nice. Young things are red. Nice, red things are green. All young, green things are cold. Green, nice things are red. Green things are young. All cold, nice things are young.
The cow is not young.
@0: The cow is cold.[(triple1)] @1: The cow is nice.[(((triple1) -> rule2))] @2: The cow is young.[(((triple1 ((triple1) -> rule2)) -> rule8))] @3: The cow is red.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3))] @4: The cow is green.[(((((triple1) -> rule2) ((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule3)) -> rule4))]