The bald eagle is red. The bald eagle likes the dog. The dog chases the lion. The dog likes the lion. The dog sees the bald eagle. The lion chases the dog. The lion is not kind. If the dog chases the bald eagle then the dog is red. If someone is red then they like the dog. If someone likes the dog then the dog chases the bald eagle.
The lion is kind.
@0: The bald eagle is red.[(triple1)] The bald eagle likes the dog.[(triple2 OR ((triple1) -> rule2))] The dog chases the lion.[(triple3)] The dog likes the lion.[(triple4)] The dog sees the bald eagle.[(triple5)] The lion chases the dog.[(triple6)] The lion is not kind.[(triple7)] @1: The dog chases the bald eagle.[(((triple2) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] @2: The dog is red.[(((((triple2) -> rule3)) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] @3: The dog likes the dog.[(((((((triple2) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule2))]