The bear chases the tiger. The bear is blue. The dog does not eat the tiger. The dog is cold. The dog visits the bear. The mouse is not young. The tiger is young. If someone visits the tiger and the tiger visits the bear then the bear eats the mouse. If someone chases the dog and they eat the tiger then they eat the mouse. If someone chases the tiger and the tiger visits the mouse then they are big. If someone eats the bear and they visit the dog then they are not blue. If someone is young then they do not eat the bear. If someone eats the dog then they chase the bear.
The dog does not visit the bear.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The dog does not eat the tiger.[(triple3)] The dog is cold.[(triple4)] The dog visits the bear.[(triple5)] The mouse is not young.[(triple6)] The tiger is young.[(triple7)] @1: The tiger does not eat the bear.[(((triple7) -> rule5))]