The cow is green. The cow is red. The cow is young. If something is young then it is green. Green things are nice. Green things are red. If something is cold then it is nice. If something is cold and green then it is red. If something is red then it is green.
The cow does not visit the cow.
@0: The cow is green.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule1))] The cow is red.[(triple2 OR ((triple1) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The cow is young.[(triple3)] @1: The cow is nice.[(((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]