The bald eagle chases the lion. The bald eagle is not green. The bald eagle is round. The bald eagle likes the lion. The dog is red. The lion does not chase the dog. The lion is round. The lion is not young. The rabbit chases the dog. The rabbit eats the lion. If something chases the dog then it likes the rabbit. If something is red and it chases the lion then the lion likes the bald eagle. If something is big then it chases the rabbit. If something is round and it chases the bald eagle then the bald eagle does not like the dog. If something likes the lion then it is red. If something is red and round then it does not chase the bald eagle. If something is red and young then it chases the bald eagle. If something likes the bald eagle and the bald eagle chases the lion then it likes the lion. If something eats the bald eagle then the bald eagle is red.
The rabbit does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the lion.[(triple4)] The dog is red.[(triple5)] The lion does not chase the dog.[(triple6)] The lion is not young.[(triple8)] The lion is round.[(triple7)] The rabbit chases the dog.[(triple9)] The rabbit eats the lion.[(triple10)] @1: The bald eagle is red.[(((triple4) -> rule5))] The rabbit likes the rabbit.[(((triple9) -> rule1))] @2: The bald eagle does not chase the bald eagle.[(((((triple4) -> rule5) triple3) -> rule6))] The lion likes the bald eagle.[(((((triple4) -> rule5) triple1) -> rule2))] @3: The lion likes the lion.[(((((((triple4) -> rule5) triple1) -> rule2) triple1) -> rule8))] @4: The lion is red.[(((((((((triple4) -> rule5) triple1) -> rule2) triple1) -> rule8)) -> rule5))] @5: The lion does not chase the bald eagle.[(((((((((((triple4) -> rule5) triple1) -> rule2) triple1) -> rule8)) -> rule5) triple7) -> rule6))]