The bald eagle does not chase the squirrel. The bald eagle is big. The bald eagle likes the lion. The lion does not like the bald eagle. The squirrel does not chase the bald eagle. The squirrel does not chase the lion. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel likes the bald eagle. The squirrel does not visit the bald eagle. If someone visits the lion then the lion chases the squirrel. If someone chases the squirrel and the squirrel chases the lion then the squirrel is big. If someone visits the squirrel and they chase the lion then they do not chase the bald eagle. If someone likes the squirrel and the squirrel does not visit the lion then the squirrel chases the lion. If someone likes the bald eagle and the bald eagle is not big then the bald eagle chases the squirrel. If someone likes the bald eagle then they are nice. If someone likes the bald eagle then the bald eagle does not like the squirrel. If someone visits the lion and they do not chase the squirrel then the squirrel is green.
The lion is not nice.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the lion.[(triple3)] The lion does not like the bald eagle.[(triple4)] The squirrel does not chase the bald eagle.[(triple5)] The squirrel does not chase the lion.[(triple6)] The squirrel does not visit the bald eagle.[(triple12)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10 OR ((triple11) -> rule6))] The squirrel likes the bald eagle.[(triple11)] @1: The bald eagle does not like the squirrel.[(((triple11) -> rule7))]