The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow likes the tiger. The cow needs the tiger. The tiger likes the cow. If something is green then it is nice. If something likes the tiger then the tiger needs the cow. All kind things are blue.
The cow is not nice.
@0: The cow is blue.[(triple1 OR ((triple3) -> rule3))] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple2) -> rule1))] The cow likes the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The tiger likes the cow.[(triple7)] @1: The tiger needs the cow.[(((triple5) -> rule2))]