The bald eagle does not eat the rabbit. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The rabbit eats the bald eagle. The rabbit is kind. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If someone sees the bald eagle then the bald eagle is green. If someone eats the rabbit and the rabbit sees the bald eagle then the rabbit visits the bald eagle. If the bald eagle sees the rabbit then the rabbit sees the bald eagle. If the rabbit is big then the rabbit does not see the bald eagle. If someone eats the bald eagle then the bald eagle is big. Green people are kind. If someone eats the bald eagle then the bald eagle sees the rabbit. If someone is kind then they are blue.
The bald eagle sees the bald eagle.
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2 OR ((triple4) -> rule7))] The bald eagle visits the rabbit.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit is kind.[(triple5)] The rabbit sees the bald eagle.[(triple6 OR ((triple2) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple4) -> rule5))] The bald eagle is green.[(((triple6) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((((((triple4) -> rule7)) -> rule3)) -> rule1))] The rabbit is blue.[(((triple5) -> rule8))] @2: The bald eagle is kind.[(((((triple6) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule1)) -> rule6))] @3: The bald eagle is blue.[(((((((triple6) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule8) OR ((((((((((triple4) -> rule7)) -> rule3)) -> rule1)) -> rule6)) -> rule8))]