The cow is blue. The cow is green. The cow is round. All green, red people are young. Green, round people are red. If the cow is young then the cow is round.
The cow visits the cow.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is round.[(triple3)] @1: The cow is red.[(((triple2 triple3) -> rule2))] @2: The cow is young.[(((triple2 ((triple2 triple3) -> rule2)) -> rule1))]