The cow sees the dog. The dog needs the cow. The tiger is round. If someone sees the cow and the cow eats the dog then the cow sees the dog. If someone needs the cow then the cow sees the tiger. If someone needs the cow and the cow sees the tiger then the tiger eats the dog. If someone sees the tiger and the tiger eats the dog then the dog sees the cow. If someone is big then they are cold. If someone sees the cow and the cow is cold then the cow needs the dog. If someone needs the tiger and they are cold then they are young. If someone eats the dog then the dog sees the tiger.
The dog is not young.
@0: The cow sees the dog.[(triple1)] The dog needs the cow.[(triple2)] The tiger is round.[(triple3)] @1: The cow sees the tiger.[(((triple2) -> rule2))] @2: The tiger eats the dog.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: The dog sees the cow.[(((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule8) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))] The dog sees the tiger.[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule8))]