The cow eats the squirrel. The cow likes the squirrel. The mouse eats the squirrel. The mouse is kind. The mouse is nice. The rabbit is kind. The rabbit likes the cow. The rabbit likes the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel likes the cow. If the cow is kind and the cow sees the squirrel then the cow eats the mouse. If someone sees the squirrel then they like the mouse. If someone eats the cow and the cow eats the squirrel then the cow eats the mouse. If someone eats the cow and the cow sees the rabbit then the rabbit eats the mouse. If someone likes the cow then the cow is kind. If someone eats the squirrel and the squirrel sees the cow then the cow eats the squirrel.
The mouse is rough.
@0: The cow eats the squirrel.[(triple1)] The cow likes the squirrel.[(triple2)] The mouse eats the squirrel.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The rabbit is kind.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the cow.[(triple12)] @1: The cow is kind.[(((triple12) -> rule5) OR ((triple7) -> rule5))]