The bald eagle is green. The cow eats the lion. The lion likes the squirrel. The squirrel sees the cow. If someone likes the bald eagle then the bald eagle likes the cow. If someone likes the cow then the cow does not eat the bald eagle. If someone eats the bald eagle then they see the squirrel. If the squirrel likes the lion then the squirrel does not see the lion. If someone sees the cow then they eat the bald eagle. If someone sees the bald eagle then the bald eagle is kind. If someone sees the cow and they see the squirrel then the cow does not see the squirrel. If someone is green and they eat the lion then the lion does not like the cow.
The cow does not see the squirrel.
@0: The bald eagle is green.[(triple1)] The cow eats the lion.[(triple2)] The lion likes the squirrel.[(triple3)] The squirrel sees the cow.[(triple4)] @1: The squirrel eats the bald eagle.[(((triple4) -> rule5))] @2: The squirrel sees the squirrel.[(((((triple4) -> rule5)) -> rule3))] @3: The cow does not see the squirrel.[(((triple4 ((((triple4) -> rule5)) -> rule3)) -> rule7))]