The dog sees the tiger. The tiger needs the dog. If someone needs the tiger then they are young. If someone sees the tiger and the tiger needs the dog then the tiger likes the dog. If someone needs the dog and the dog sees the tiger then they see the dog. If the tiger likes the dog then the tiger is nice. If the tiger sees the dog and the dog needs the tiger then the tiger is big. If someone is nice and they like the dog then they do not see the tiger.
The dog is young.
@0: The dog sees the tiger.[(triple1)] The tiger needs the dog.[(triple2)] @1: The tiger likes the dog.[(((triple1 triple2) -> rule2))] The tiger sees the dog.[(((triple2 triple1) -> rule3))] @2: The tiger is nice.[(((((triple1 triple2) -> rule2)) -> rule4))] @3: The tiger does not see the tiger.[(((((((triple1 triple2) -> rule2)) -> rule4) ((triple1 triple2) -> rule2)) -> rule6))]