The bald eagle eats the mouse. The bald eagle is blue. The dog eats the squirrel. The dog is blue. The dog is round. The dog likes the squirrel. The mouse is blue. The mouse is cold. The mouse is nice. The mouse sees the bald eagle. The squirrel eats the mouse. The squirrel likes the bald eagle. The squirrel likes the dog. The squirrel sees the bald eagle. The squirrel sees the mouse. If someone eats the bald eagle and they are kind then they see the bald eagle. If someone eats the squirrel and the squirrel eats the bald eagle then the squirrel is cold. If someone likes the squirrel then the squirrel sees the dog. If someone likes the dog then the dog likes the squirrel. If someone likes the bald eagle then they see the dog. If someone is kind then they are nice. If someone likes the squirrel and the squirrel likes the mouse then the mouse likes the bald eagle. If someone sees the squirrel and the squirrel is blue then the squirrel sees the bald eagle.
The bald eagle is not blue.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is blue.[(triple4)] The dog is round.[(triple5)] The dog likes the squirrel.[(triple6 OR ((triple13) -> rule4))] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The squirrel sees the dog.[(((triple12) -> rule5) OR ((triple6) -> rule3) OR ((((triple13) -> rule4)) -> rule3))]