The bear chases the cow. The bear is rough. The cow chases the tiger. The dog chases the cow. The dog sees the cow. The tiger sees the cow. The tiger sees the dog. If the tiger is red then the tiger chases the bear. If something sees the dog and the dog is red then it chases the bear. If something visits the bear and it is big then the bear is red. If something is rough then it visits the bear. If something sees the dog then the dog visits the tiger. If something sees the cow and it visits the tiger then it sees the dog.
The dog does not see the cow.
@0: The bear chases the cow.[(triple1)] The bear is rough.[(triple2)] The cow chases the tiger.[(triple3)] The dog chases the cow.[(triple4)] The dog sees the cow.[(triple5)] The tiger sees the cow.[(triple6)] The tiger sees the dog.[(triple7)] @1: The bear visits the bear.[(((triple2) -> rule4))] The dog visits the tiger.[(((triple7) -> rule5))] @2: The dog sees the dog.[(((triple5 ((triple7) -> rule5)) -> rule6))]