The cat is big. The cat likes the tiger. The cat needs the tiger. The dog likes the cat. The dog visits the tiger. The tiger is rough. The tiger likes the dog. If someone needs the cat then they visit the cat. If someone is green and they need the cat then the cat likes the tiger. If someone is rough then they need the dog. If the tiger is rough and the tiger is big then the tiger visits the cat. If someone needs the dog then the dog visits the tiger. If someone needs the dog and the dog is green then they are blue.
The dog does not visit the tiger.
@0: The cat is big.[(triple1)] The cat likes the tiger.[(triple2)] The cat needs the tiger.[(triple3)] The dog likes the cat.[(triple4)] The dog visits the tiger.[(triple5 OR ((((triple6) -> rule3)) -> rule5))] The tiger is rough.[(triple6)] The tiger likes the dog.[(triple7)] @1: The tiger needs the dog.[(((triple6) -> rule3))]