The bear is not nice. The bear needs the rabbit. The cow is big. The cow is kind. The mouse is big. The mouse is nice. The mouse needs the rabbit. The mouse sees the bear. The mouse sees the rabbit. The rabbit eats the bear. The rabbit eats the cow. The rabbit is big. The rabbit is cold. The rabbit is not kind. The rabbit needs the mouse. If the cow eats the rabbit then the cow needs the bear. If someone needs the bear then the bear sees the mouse. If someone sees the bear and they need the mouse then the mouse is cold. If someone sees the cow and the cow is not kind then they need the rabbit. If someone sees the mouse and they are not blue then they eat the mouse. If the bear needs the mouse and the bear is blue then the mouse sees the bear. If someone needs the mouse and the mouse eats the cow then the cow sees the mouse. If someone is kind then they eat the rabbit.
The cow does not need the bear.
@0: The bear is not nice.[(triple1)] The bear needs the rabbit.[(triple2)] The cow is big.[(triple3)] The cow is kind.[(triple4)] The mouse is big.[(triple5)] The mouse is nice.[(triple6)] The mouse needs the rabbit.[(triple7)] The mouse sees the bear.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit is big.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is not kind.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The cow eats the rabbit.[(((triple4) -> rule8))] @2: The cow needs the bear.[(((((triple4) -> rule8)) -> rule1))] @3: The bear sees the mouse.[(((((((triple4) -> rule8)) -> rule1)) -> rule2))]