The bald eagle sees the lion. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The lion is kind. The lion visits the rabbit. The rabbit is red. The rabbit visits the lion. If the bald eagle visits the rabbit and the rabbit visits the bald eagle then the rabbit is kind. If someone sees the bald eagle then the bald eagle visits the lion. If someone visits the lion then they see the bald eagle. If someone visits the rabbit then they see the lion. If someone visits the rabbit then the rabbit sees the bald eagle. If someone is red then they visit the lion.
The rabbit visits the bald eagle.
@0: The bald eagle sees the lion.[(triple1 OR ((triple3) -> rule4))] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The lion is kind.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit is red.[(triple6)] The rabbit visits the lion.[(triple7 OR ((triple6) -> rule6))] @1: The lion sees the lion.[(((triple5) -> rule4))] The rabbit sees the bald eagle.[(((triple3) -> rule5) OR ((triple5) -> rule5) OR ((triple7) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] @2: The bald eagle visits the lion.[(((((triple3) -> rule5)) -> rule2) OR ((((triple5) -> rule5)) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule3)) -> rule2))] @3: The bald eagle sees the bald eagle.[(((((((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((triple7) -> rule3)) -> rule2)) -> rule3) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule2)) -> rule3))]