The bear does not see the tiger. The bear visits the dog. The dog sees the tiger. The rabbit sees the tiger. The rabbit does not visit the bear. The tiger is not nice. The tiger does not visit the bear. If something chases the rabbit and the rabbit visits the bear then it chases the tiger. Round things are cold. If something visits the tiger then the tiger does not visit the bear. If the tiger is nice then the tiger does not visit the dog. If something sees the tiger then the tiger visits the dog. If something sees the dog then it visits the dog. If something is big and not nice then it sees the bear. If something chases the tiger and the tiger visits the bear then the bear chases the dog.
The rabbit chases the dog.
@0: The bear does not see the tiger.[(triple1)] The bear visits the dog.[(triple2)] The dog sees the tiger.[(triple3)] The rabbit does not visit the bear.[(triple5)] The rabbit sees the tiger.[(triple4)] The tiger does not visit the bear.[(triple7)] The tiger is not nice.[(triple6)] @1: The tiger visits the dog.[(((triple3) -> rule5) OR ((triple4) -> rule5))]