The bear eats the cow. The bear is round. The bear sees the mouse. The cow is rough. The cow needs the mouse. The cow needs the rabbit. The mouse eats the bear. The mouse eats the rabbit. The mouse sees the cow. The rabbit sees the cow. If someone eats the rabbit and the rabbit is red then they are rough. If someone is red then they see the bear. If someone eats the bear and they eat the cow then they see the rabbit. If someone needs the rabbit then the rabbit eats the mouse. Rough people are red. If the bear eats the rabbit then the bear is red. If the rabbit is cold and the rabbit needs the bear then the bear eats the mouse. If someone needs the rabbit and they are kind then the rabbit needs the cow.
The cow needs the mouse.
@0: The bear eats the cow.[(triple1)] The bear is round.[(triple2)] The bear sees the mouse.[(triple3)] The cow is rough.[(triple4)] The cow needs the mouse.[(triple5)] The cow needs the rabbit.[(triple6)] The mouse eats the bear.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse sees the cow.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The cow is red.[(((triple4) -> rule5))] The rabbit eats the mouse.[(((triple6) -> rule4))] @2: The cow sees the bear.[(((((triple4) -> rule5)) -> rule2))]