The bear eats the cow. The bear eats the tiger. The bear sees the cow. The cow eats the bear. The cow eats the tiger. The cow is red. The cow is round. The tiger is not cold. The tiger is red. The tiger sees the cow. If someone needs the cow then the cow does not need the bear. If someone is red and round then they need the cow. If the bear needs the cow and the cow sees the tiger then the bear sees the tiger.
The cow does not need the cow.
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The bear sees the cow.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the tiger.[(triple5)] The cow is red.[(triple6)] The cow is round.[(triple7)] The tiger is not cold.[(triple8)] The tiger is red.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow needs the cow.[(((triple6 triple7) -> rule2))] @2: The cow does not need the bear.[(((((triple6 triple7) -> rule2)) -> rule1))]