The cow is green. The cow is nice. The cow is young. If something is green then it is blue. Blue, green things are nice. If the cow is green then the cow is young. If something is nice and blue then it is big. Big, green things are blue. All blue things are green.
The cow does not see the cow.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule2))] The cow is young.[(triple3 OR ((triple1) -> rule3))] @1: The cow is blue.[(((triple1) -> rule1))] @2: The cow is big.[(((triple2 ((triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule4))]