The bear chases the tiger. The cow sees the bear. The tiger chases the bear. The tiger chases the cow. The tiger is red. The tiger likes the bear. The tiger sees the cow. If the bear sees the cow then the cow chases the tiger. If the cow likes the tiger and the tiger sees the bear then the cow is big. All red things are blue.
The tiger does not see the cow.
@0: The bear chases the tiger.[(triple1)] The cow sees the bear.[(triple2)] The tiger chases the bear.[(triple3)] The tiger chases the cow.[(triple4)] The tiger is red.[(triple5)] The tiger likes the bear.[(triple6)] The tiger sees the cow.[(triple7)] @1: The tiger is blue.[(((triple5) -> rule3))]