The bear is kind. The bear needs the cow. The bear needs the rabbit. The cow is kind. The cow sees the mouse. The mouse sees the rabbit. The rabbit is kind. If someone needs the cow and they see the bear then the bear eats the rabbit. If someone eats the mouse then the mouse eats the bear. If someone is kind and they need the bear then they eat the rabbit. If someone is red and they eat the bear then they need the rabbit. If someone eats the mouse and they need the cow then the mouse needs the bear. If someone is blue and they eat the rabbit then the rabbit is blue. If someone sees the bear then they need the bear. If someone needs the rabbit then the rabbit is cold.
The cow needs the cow.
@0: The bear is kind.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the rabbit.[(triple3)] The cow is kind.[(triple4)] The cow sees the mouse.[(triple5)] The mouse sees the rabbit.[(triple6)] The rabbit is kind.[(triple7)] @1: The rabbit is cold.[(((triple3) -> rule8))]