The bear eats the cow. The bear is cold. The bear needs the cow. The bear sees the rabbit. The cow needs the bear. The rabbit needs the bear. The rabbit needs the cow. If someone needs the cow and they need the bear then they are cold.
The cow is not cold.
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the rabbit.[(triple4)] The cow needs the bear.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The rabbit is cold.[(((triple7 triple6) -> rule1))]