The bald eagle is blue. The bald eagle is red. The bald eagle likes the lion. The bald eagle needs the bear. The bald eagle needs the dog. The bear is not blue. The bear is nice. The bear needs the dog. The dog chases the bald eagle. The dog is red. The dog does not need the bear. The lion does not like the bear. If something likes the lion and it is not red then it chases the lion. If something is red and it needs the bald eagle then the bald eagle needs the lion. If something is round then it does not like the dog. If the bald eagle needs the dog then the dog is round. If something likes the dog then it likes the bald eagle. If something chases the lion and the lion likes the dog then the dog does not like the lion. If the bear likes the lion then the lion likes the dog. If something likes the bear then the bear likes the lion. If something is round then it likes the bear.
The bald eagle does not chase the lion.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the dog.[(triple5)] The bear is nice.[(triple7)] The bear is not blue.[(triple6)] The bear needs the dog.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog does not need the bear.[(triple11)] The dog is red.[(triple10)] The lion does not like the bear.[(triple12)] @1: The dog is round.[(((triple5) -> rule4))] @2: The dog does not like the dog.[(((((triple5) -> rule4)) -> rule3))] The dog likes the bear.[(((((triple5) -> rule4)) -> rule9))] @3: The bear likes the lion.[(((((((triple5) -> rule4)) -> rule9)) -> rule8))] @4: The lion likes the dog.[(((((((((triple5) -> rule4)) -> rule9)) -> rule8)) -> rule7))] @5: The lion likes the bald eagle.[(((((((((((triple5) -> rule4)) -> rule9)) -> rule8)) -> rule7)) -> rule5))]