The bear sees the dog. The cat chases the bear. The cat is round. The cat visits the mouse. The dog chases the bear. The dog chases the cat. The dog is big. The dog is blue. The dog is rough. The dog visits the bear. The mouse chases the bear. The mouse is round. The mouse sees the bear. The mouse sees the dog. The mouse visits the bear. If something visits the dog and the dog chases the mouse then the dog is rough. If something chases the bear then it sees the mouse.
The mouse chases the bear.
@0: The bear sees the dog.[(triple1)] The cat chases the bear.[(triple2)] The cat is round.[(triple3)] The cat visits the mouse.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the cat.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog visits the bear.[(triple10)] The mouse chases the bear.[(triple11)] The mouse is round.[(triple12)] The mouse sees the bear.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cat sees the mouse.[(((triple2) -> rule2))] The dog sees the mouse.[(((triple5) -> rule2))] The mouse sees the mouse.[(((triple11) -> rule2))]