The bear does not see the tiger. The dog chases the lion. The lion visits the dog. The tiger is rough. If someone is red and not cold then they visit the bear. If the bear is cold and the bear is young then the bear sees the tiger. If someone chases the lion then the lion visits the dog. If the tiger visits the dog and the dog visits the tiger then the tiger does not see the lion. If someone chases the dog then they do not see the tiger. If the tiger does not chase the lion then the lion visits the tiger.
The bear does not see the tiger.
@0: The bear does not see the tiger.[(triple1)] The dog chases the lion.[(triple2)] The lion visits the dog.[(triple3 OR ((triple2) -> rule3))] The tiger is rough.[(triple4)]