The cow chases the mouse. The cow does not eat the mouse. The cow eats the rabbit. The cow is not big. The cow is not rough. The cow sees the rabbit. The mouse does not chase the rabbit. The mouse does not chase the squirrel. The mouse eats the rabbit. The mouse is kind. The rabbit chases the cow. The rabbit is kind. The rabbit sees the cow. The squirrel does not chase the mouse. The squirrel eats the mouse. The squirrel is big. If the squirrel does not eat the cow and the squirrel does not chase the cow then the cow chases the squirrel. If someone chases the rabbit then the rabbit does not chase the squirrel. If someone is big and rough then they see the rabbit. If someone eats the rabbit and the rabbit eats the squirrel then the squirrel is not rough. If someone sees the cow then the cow sees the rabbit. If someone eats the mouse then they are rough.
The rabbit eats the squirrel.
@0: The cow chases the mouse.[(triple1)] The cow does not eat the mouse.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is not big.[(triple4)] The cow is not rough.[(triple5)] The cow sees the rabbit.[(triple6 OR ((triple13) -> rule5))] The mouse does not chase the rabbit.[(triple7)] The mouse does not chase the squirrel.[(triple8)] The mouse eats the rabbit.[(triple9)] The mouse is kind.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit is kind.[(triple12)] The rabbit sees the cow.[(triple13)] The squirrel does not chase the mouse.[(triple14)] The squirrel eats the mouse.[(triple15)] The squirrel is big.[(triple16)] @1: The squirrel is rough.[(((triple15) -> rule6))] @2: The squirrel sees the rabbit.[(((triple16 ((triple15) -> rule6)) -> rule3))]