The bear eats the cow. The bear eats the rabbit. The bear is rough. The bear is young. The bear sees the rabbit. The cat eats the bear. The cat sees the bear. The cow is red. The cow likes the bear. The rabbit eats the bear. If the rabbit is rough then the rabbit is young. If someone is rough then they do not see the bear. If the rabbit sees the cow and the cow is red then the rabbit sees the cat. If someone likes the cow and they are red then the cow likes the cat. If someone sees the bear and they are big then they are not red. If someone sees the cat and the cat likes the bear then they eat the cow.
The rabbit eats the cat.
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is rough.[(triple3)] The bear is young.[(triple4)] The bear sees the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The cat sees the bear.[(triple7)] The cow is red.[(triple8)] The cow likes the bear.[(triple9)] The rabbit eats the bear.[(triple10)] @1: The bear does not see the bear.[(((triple3) -> rule2))]