The bald eagle is green. The bald eagle needs the lion. The dog eats the lion. The dog needs the bald eagle. The lion needs the bald eagle. The squirrel eats the bald eagle. The squirrel is red. If something needs the dog then it does not eat the lion. If something is blue then it needs the dog. If the dog is red and the dog likes the bald eagle then the bald eagle is rough. If the bald eagle eats the lion then the lion does not need the bald eagle. If the dog likes the squirrel then the squirrel likes the dog. If something is green then it is blue. If something likes the dog and it does not like the lion then the dog needs the squirrel. If something needs the lion and the lion eats the dog then the dog is blue.
The lion is not blue.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the lion.[(triple2)] The dog eats the lion.[(triple3)] The dog needs the bald eagle.[(triple4)] The lion needs the bald eagle.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel is red.[(triple7)] @1: The bald eagle is blue.[(((triple1) -> rule6))] @2: The bald eagle needs the dog.[(((((triple1) -> rule6)) -> rule2))] @3: The bald eagle does not eat the lion.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))]