The bear eats the tiger. The dog chases the bear. The mouse chases the dog. The tiger chases the dog. If something is green then it sees the mouse. If something sees the dog then it does not eat the bear. If something chases the bear then the bear sees the dog. If something chases the tiger then it is not green. If something is red and it chases the mouse then it chases the bear. If something is big then it chases the tiger.
The bear does not chase the tiger.
@0: The bear eats the tiger.[(triple1)] The dog chases the bear.[(triple2)] The mouse chases the dog.[(triple3)] The tiger chases the dog.[(triple4)] @1: The bear sees the dog.[(((triple2) -> rule3))] @2: The bear does not eat the bear.[(((((triple2) -> rule3)) -> rule2))]