The bear eats the cow. The bear is not cold. The bear needs the cow. The cow eats the bear. The cow needs the bear. The cow sees the bear. The rabbit eats the bear. The rabbit eats the cow. The rabbit is nice. The rabbit is young. The rabbit does not need the cow. The rabbit sees the cow. If someone is nice and they eat the bear then they eat the rabbit.
The cow needs the bear.
@0: The bear eats the cow.[(triple1)] The bear is not cold.[(triple2)] The bear needs the cow.[(triple3)] The cow eats the bear.[(triple4)] The cow needs the bear.[(triple5)] The cow sees the bear.[(triple6)] The rabbit does not need the cow.[(triple11)] The rabbit eats the bear.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit sees the cow.[(triple12)] @1: The rabbit eats the rabbit.[(((triple9 triple7) -> rule1))]