The bear chases the dog. The bear chases the mouse. The bear sees the tiger. The dog is red. The dog visits the bear. The mouse chases the tiger. The mouse is young. The mouse sees the dog. The tiger is cold. The tiger sees the dog. If something is young and it sees the dog then the dog is cold. If something chases the tiger then the tiger visits the mouse. If the bear is kind and the bear visits the mouse then the mouse is young. If the mouse sees the bear then the bear visits the dog. If something visits the mouse and it visits the bear then the mouse sees the bear. If the mouse is red then the mouse chases the dog. If something chases the tiger and it is cold then the tiger visits the mouse. If something visits the bear then the bear sees the tiger.
The bear does not visit the dog.
@0: The bear chases the dog.[(triple1)] The bear chases the mouse.[(triple2)] The bear sees the tiger.[(triple3 OR ((triple5) -> rule8))] The dog is red.[(triple4)] The dog visits the bear.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is young.[(triple7)] The mouse sees the dog.[(triple8)] The tiger is cold.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog is cold.[(((triple7 triple8) -> rule1))] The tiger visits the mouse.[(((triple6) -> rule2))]