The dog likes the lion. The dog visits the lion. The dog visits the tiger. The lion likes the tiger. The lion sees the dog. The lion sees the tiger. The lion visits the dog. The lion visits the tiger. The tiger is big. The tiger is rough. The tiger likes the dog. The tiger sees the lion. If something visits the lion then the lion visits the dog. If something visits the lion and the lion visits the tiger then it is cold. If the tiger visits the lion then the tiger likes the lion. If something is cold and it sees the lion then it visits the tiger. If the tiger likes the dog and the dog likes the tiger then the dog visits the lion. If something is rough then it visits the tiger. If something visits the lion then the lion visits the dog. If something likes the tiger and it sees the lion then the tiger visits the dog.
The tiger does not visit the dog.
@0: The dog likes the lion.[(triple1)] The dog visits the lion.[(triple2)] The dog visits the tiger.[(triple3)] The lion likes the tiger.[(triple4)] The lion sees the dog.[(triple5)] The lion sees the tiger.[(triple6)] The lion visits the dog.[(triple7 OR ((triple2) -> rule1) OR ((triple2) -> rule7))] The lion visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the dog.[(triple11)] The tiger sees the lion.[(triple12)] @1: The dog is cold.[(((triple2 triple8) -> rule2))] The tiger visits the tiger.[(((triple10) -> rule6))]