The bald eagle does not eat the squirrel. The lion sees the bald eagle. The rabbit chases the bald eagle. The rabbit does not eat the bald eagle. The rabbit eats the lion. The squirrel chases the bald eagle. The squirrel is kind. If the lion eats the bald eagle and the lion does not see the squirrel then the bald eagle is green. If the rabbit sees the lion then the lion does not eat the squirrel. If something eats the lion then it sees the lion. If the rabbit eats the bald eagle and the bald eagle sees the lion then the bald eagle eats the lion. If something is kind and it eats the squirrel then it does not eat the rabbit. If something eats the squirrel and the squirrel eats the bald eagle then the squirrel chases the rabbit. If something eats the lion and it is not cold then the lion is kind. If something is kind and it sees the rabbit then the rabbit is red.
The lion does not eat the squirrel.
@0: The bald eagle does not eat the squirrel.[(triple1)] The lion sees the bald eagle.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit does not eat the bald eagle.[(triple4)] The rabbit eats the lion.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel is kind.[(triple7)] @1: The rabbit sees the lion.[(((triple5) -> rule3))] @2: The lion does not eat the squirrel.[(((((triple5) -> rule3)) -> rule2))]