The cat is big. The cat likes the lion. The cat likes the tiger. The cat needs the lion. The cat visits the tiger. The lion likes the cat. The lion needs the cat. The lion needs the tiger. The lion visits the tiger. The tiger is big. The tiger is young. The tiger visits the cat. If something likes the cat and the cat visits the tiger then the tiger needs the lion. If something is red and big then it visits the lion. If something needs the cat then the cat visits the tiger. If something is red and it needs the lion then the lion needs the cat. If something is young and it needs the tiger then the tiger is red. If something likes the cat and it is young then it needs the cat.
The tiger likes the tiger.
@0: The cat is big.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the tiger.[(triple3)] The cat needs the lion.[(triple4)] The cat visits the tiger.[(triple5 OR ((triple7) -> rule3))] The lion likes the cat.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the tiger.[(triple8)] The lion visits the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger is young.[(triple11)] The tiger visits the cat.[(triple12)] @1: The tiger needs the lion.[(((triple6 triple5) -> rule1) OR ((triple6 ((triple7) -> rule3)) -> rule1))]