The bald eagle eats the cat. The bald eagle does not eat the mouse. The bald eagle needs the mouse. The bald eagle visits the squirrel. The cat is young. The cat visits the squirrel. The mouse is red. The squirrel eats the cat. The squirrel visits the bald eagle. The squirrel visits the mouse. If someone visits the mouse then they are kind. If someone is kind and they need the squirrel then they are young. If the squirrel visits the mouse and the mouse eats the bald eagle then the mouse is not green. If someone eats the cat then they need the squirrel. If someone visits the mouse then the mouse is not kind. If someone is nice and kind then they do not visit the squirrel.
The cat is not kind.
@0: The bald eagle does not eat the mouse.[(triple2)] The bald eagle eats the cat.[(triple1)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat is young.[(triple5)] The cat visits the squirrel.[(triple6)] The mouse is red.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The bald eagle needs the squirrel.[(((triple1) -> rule4))] The mouse is not kind.[(((triple10) -> rule5))] The squirrel is kind.[(((triple10) -> rule1))] The squirrel needs the squirrel.[(((triple8) -> rule4))] @2: The squirrel is young.[(((((triple10) -> rule1) ((triple8) -> rule4)) -> rule2))]