The cow sees the tiger. The tiger chases the cow. The tiger likes the cow. If something likes the cow then it chases the cow. If something sees the tiger then the tiger is rough. If something sees the cow and the cow is big then the cow sees the tiger. If something is rough then it sees the tiger. If something is cold and nice then it chases the cow. If something sees the tiger then it sees the cow.
The cow likes the tiger.
@0: The cow sees the tiger.[(triple1)] The tiger chases the cow.[(triple2 OR ((triple3) -> rule1))] The tiger likes the cow.[(triple3)] @1: The cow sees the cow.[(((triple1) -> rule6))] The tiger is rough.[(((triple1) -> rule2))] @2: The tiger sees the tiger.[(((((triple1) -> rule2)) -> rule4))] @3: The tiger sees the cow.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]