The bald eagle does not chase the squirrel. The bald eagle is blue. The bald eagle likes the lion. The bald eagle likes the squirrel. The lion does not chase the bald eagle. The lion chases the squirrel. The lion is not blue. The squirrel is big. The squirrel is young. The squirrel needs the lion. If someone needs the bald eagle then they like the squirrel. If someone chases the lion then the lion is red. If someone is young then they need the squirrel. If someone needs the bald eagle and the bald eagle needs the squirrel then the squirrel likes the lion. If someone chases the squirrel then they like the bald eagle. If the squirrel is big and the squirrel is nice then the squirrel needs the bald eagle. If someone needs the lion then they are nice. If the bald eagle does not chase the lion then the bald eagle chases the squirrel.
The squirrel is blue.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The lion chases the squirrel.[(triple6)] The lion does not chase the bald eagle.[(triple5)] The lion is not blue.[(triple7)] The squirrel is big.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the lion.[(triple10)] @1: The lion likes the bald eagle.[(((triple6) -> rule5))] The squirrel is nice.[(((triple10) -> rule7))] The squirrel needs the squirrel.[(((triple9) -> rule3))] @2: The squirrel needs the bald eagle.[(((triple8 ((triple10) -> rule7)) -> rule6))] @3: The squirrel likes the squirrel.[(((((triple8 ((triple10) -> rule7)) -> rule6)) -> rule1))]