The bald eagle does not chase the lion. The bald eagle is not kind. The bald eagle is red. The bald eagle sees the lion. The dog is blue. The dog is red. The lion is blue. If something is red then it does not chase the lion. If something chases the dog and the dog chases the bald eagle then the bald eagle likes the lion.
The bald eagle does not like the lion.
@0: The bald eagle does not chase the lion.[(triple1 OR ((triple3) -> rule1))] The bald eagle is not kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the lion.[(triple4)] The dog is blue.[(triple5)] The dog is red.[(triple6)] The lion is blue.[(triple7)] @1: The dog does not chase the lion.[(((triple6) -> rule1))]