The cat chases the dog. The cat chases the tiger. The cat is big. The cat is nice. The cat likes the dog. The cat likes the tiger. The cat visits the dog. The cat visits the tiger. The dog is nice. The dog is red. The dog likes the cat. The tiger chases the dog. The tiger is cold. The tiger likes the cat. The tiger visits the dog. If the dog is nice then the dog chases the tiger. If something chases the tiger then it visits the tiger.
The tiger does not visit the tiger.
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cat likes the dog.[(triple5)] The cat likes the tiger.[(triple6)] The cat visits the dog.[(triple7)] The cat visits the tiger.[(triple8 OR ((triple2) -> rule2))] The dog is nice.[(triple9)] The dog is red.[(triple10)] The dog likes the cat.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is cold.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog chases the tiger.[(((triple9) -> rule1))] @2: The dog visits the tiger.[(((((triple9) -> rule1)) -> rule2))]