The cat chases the dog. The cat chases the tiger. The cat visits the dog. The dog does not chase the cat. The dog does not chase the tiger. The dog visits the cat. The dog visits the tiger. The tiger chases the cat. The tiger likes the cat. The tiger visits the dog. If someone chases the cat then they chase the tiger. If someone likes the cat then the cat visits the tiger. If the cat chases the tiger and the cat likes the tiger then the cat likes the dog. If someone likes the dog then they are not big. If someone visits the dog and the dog visits the cat then they like the dog. If someone chases the cat and they are not big then the cat is not nice.
The cat likes the tiger.
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2)] The cat visits the dog.[(triple3)] The dog does not chase the cat.[(triple4)] The dog does not chase the tiger.[(triple5)] The dog visits the cat.[(triple6)] The dog visits the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger likes the cat.[(triple9)] The tiger visits the dog.[(triple10)] @1: The cat likes the dog.[(((triple3 triple6) -> rule5))] The cat visits the tiger.[(((triple9) -> rule2))] The tiger chases the tiger.[(((triple8) -> rule1))] The tiger likes the dog.[(((triple10 triple6) -> rule5))] @2: The cat is not big.[(((((triple3 triple6) -> rule5)) -> rule4))] The tiger is not big.[(((((triple10 triple6) -> rule5)) -> rule4))] @3: The cat is not nice.[(((triple8 ((((triple10 triple6) -> rule5)) -> rule4)) -> rule6))]