The cat eats the mouse. The cat eats the rabbit. The cat is green. The cat does not need the mouse. The mouse is young. The rabbit eats the mouse. The squirrel is round. If someone is round then they like the cat. If someone needs the cat then the cat is not cold. If someone is rough and they need the rabbit then the rabbit is not cold.
The squirrel is not round.
@0: The cat does not need the mouse.[(triple4)] The cat eats the mouse.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The mouse is young.[(triple5)] The rabbit eats the mouse.[(triple6)] The squirrel is round.[(triple7)] @1: The squirrel likes the cat.[(((triple7) -> rule1))]