The bald eagle does not chase the cow. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle sees the mouse. The cow chases the bald eagle. The cow does not chase the squirrel. The cow is not nice. The cow is red. The cow does not see the mouse. The mouse does not chase the cow. The mouse is big. The squirrel is round. If someone sees the mouse then they do not see the squirrel. If someone chases the mouse and the mouse is kind then they see the squirrel. If the cow likes the mouse and the cow chases the mouse then the cow likes the bald eagle. If someone sees the cow and the cow is not nice then they see the mouse. If someone sees the bald eagle and they are nice then they like the cow. If someone is big then they see the cow.
The cow is kind.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow does not chase the squirrel.[(triple6)] The cow does not see the mouse.[(triple9)] The cow is not nice.[(triple7)] The cow is red.[(triple8)] The mouse does not chase the cow.[(triple10)] The mouse is big.[(triple11)] The squirrel is round.[(triple12)] @1: The bald eagle does not see the squirrel.[(((triple4) -> rule1))] The mouse sees the cow.[(((triple11) -> rule6))] @2: The mouse sees the mouse.[(((((triple11) -> rule6) triple7) -> rule4))] @3: The mouse does not see the squirrel.[(((((((triple11) -> rule6) triple7) -> rule4)) -> rule1))]