The dog chases the tiger. The dog is blue. The dog is green. The dog is nice. The dog is rough. The dog is young. The dog likes the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the dog. The tiger needs the dog. If someone needs the dog then they like the tiger. If someone chases the dog and the dog chases the tiger then the dog needs the tiger. If someone likes the tiger then they chase the tiger. If someone chases the dog and the dog is young then the dog is nice. If someone chases the tiger then they need the tiger. If someone needs the dog then they chase the dog.
The dog is not young.
@0: The dog chases the tiger.[(triple1 OR ((triple7) -> rule3))] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4 OR ((triple9 triple6) -> rule4) OR ((((triple16) -> rule6) triple6) -> rule4))] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the tiger.[(triple8 OR ((triple1) -> rule5) OR ((triple9 triple1) -> rule2) OR ((((triple7) -> rule3)) -> rule5) OR ((triple9 ((triple7) -> rule3)) -> rule2) OR ((((triple16) -> rule6) triple1) -> rule2) OR ((((triple16) -> rule6) ((triple7) -> rule3)) -> rule2))] The tiger chases the dog.[(triple9 OR ((triple16) -> rule6))] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the dog.[(triple16)] @1: The tiger likes the tiger.[(((triple16) -> rule1))] @2: The tiger chases the tiger.[(((((triple16) -> rule1)) -> rule3))] @3: The tiger needs the tiger.[(((((((triple16) -> rule1)) -> rule3)) -> rule5))]