The cat likes the dog. The cat likes the tiger. The cat visits the dog. The dog likes the cat. The dog likes the tiger. The dog visits the tiger. The tiger is young. The tiger likes the cat. The tiger likes the dog. The tiger needs the cat. The tiger needs the dog. The tiger visits the cat. If someone likes the tiger then the tiger needs the cat. If someone needs the cat and they visit the cat then the cat needs the dog. If the cat is green then the cat needs the dog. If someone visits the tiger and they like the dog then they need the dog. Big people are nice. If someone is green and they visit the dog then they need the tiger. If someone visits the cat and the cat likes the tiger then the tiger is green. If someone visits the cat and they like the dog then the cat visits the dog.
The dog does not like the tiger.
@0: The cat likes the dog.[(triple1)] The cat likes the tiger.[(triple2)] The cat visits the dog.[(triple3 OR ((triple12 triple9) -> rule8))] The dog likes the cat.[(triple4)] The dog likes the tiger.[(triple5)] The dog visits the tiger.[(triple6)] The tiger is young.[(triple7)] The tiger likes the cat.[(triple8)] The tiger likes the dog.[(triple9)] The tiger needs the cat.[(triple10 OR ((triple2) -> rule1) OR ((triple5) -> rule1))] The tiger needs the dog.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat needs the dog.[(((triple10 triple12) -> rule2) OR ((((triple2) -> rule1) triple12) -> rule2) OR ((((triple5) -> rule1) triple12) -> rule2))] The tiger is green.[(((triple12 triple2) -> rule7))]