The cow is red. The cow likes the dog. The dog chases the cow. The tiger chases the dog. The tiger likes the cow. The tiger likes the dog. The tiger sees the dog. If something is young then it chases the cow. If something chases the dog then it sees the cow. If the tiger is blue and the tiger sees the dog then the dog likes the tiger. If the cow likes the tiger and the tiger likes the cow then the tiger sees the cow. If something sees the cow then the cow chases the dog. If something likes the cow then it likes the dog. If something sees the dog then the dog likes the tiger. If something sees the cow then the cow sees the dog.
The cow sees the cow.
@0: The cow is red.[(triple1)] The cow likes the dog.[(triple2)] The dog chases the cow.[(triple3)] The tiger chases the dog.[(triple4)] The tiger likes the cow.[(triple5)] The tiger likes the dog.[(triple6 OR ((triple5) -> rule6))] The tiger sees the dog.[(triple7)] @1: The dog likes the tiger.[(((triple7) -> rule7) OR ((((((triple4) -> rule2)) -> rule8)) -> rule7) OR ((((((((((triple4) -> rule2)) -> rule5)) -> rule2)) -> rule8)) -> rule7))] The tiger sees the cow.[(((triple4) -> rule2))] @2: The cow chases the dog.[(((((triple4) -> rule2)) -> rule5))] The cow sees the dog.[(((((triple4) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2)) -> rule5)) -> rule2)) -> rule8))] @3: The cow sees the cow.[(((((((triple4) -> rule2)) -> rule5)) -> rule2))]