The bear needs the rabbit. The cow likes the bear. The mouse is big. The mouse likes the rabbit. The mouse needs the cow. The rabbit is green. The rabbit is kind. If the rabbit is big then the rabbit eats the bear. If someone eats the bear and they need the bear then the bear is big. If someone eats the rabbit then the rabbit is big. If someone likes the rabbit then they need the bear. If someone needs the cow then the cow is big. If someone likes the rabbit and they are big then the rabbit eats the mouse. If someone eats the cow and the cow needs the bear then they like the mouse. If someone likes the bear and the bear is big then they eat the mouse.
The rabbit does not like the mouse.
@0: The bear needs the rabbit.[(triple1)] The cow likes the bear.[(triple2)] The mouse is big.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse needs the cow.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7)] @1: The cow is big.[(((triple5) -> rule5))] The mouse needs the bear.[(((triple4) -> rule4))] The rabbit eats the mouse.[(((triple4 triple3) -> rule6))]