The cow is red. All young things are rough. If something is red then it is rough. If something is red and rough then it is not young. Rough things are red. All cold things are green. If something is red and not young then it is cold. Green things are cold. If the cow is cold and the cow is rough then the cow is green.
The cow visits the cow.
@0: The cow is red.[(triple1)] @1: The cow is rough.[(((triple1) -> rule2))] @2: The cow is not young.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: The cow is cold.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6))] @4: The cow is green.[(((((triple1 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6)) -> rule5) OR ((((triple1 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6) ((triple1) -> rule2)) -> rule8))]