The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle does not need the rabbit. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the bald eagle. If the bald eagle is rough and the bald eagle visits the rabbit then the bald eagle does not eat the rabbit. If the rabbit eats the bald eagle then the bald eagle eats the rabbit. If something eats the rabbit then it visits the bald eagle. If something visits the bald eagle and the bald eagle visits the rabbit then it is kind. If the bald eagle is kind then the bald eagle is round. If something visits the bald eagle then it visits the rabbit.
The bald eagle is rough.
@0: The bald eagle does not need the rabbit.[(triple3)] The bald eagle eats the rabbit.[(triple1 OR ((triple4) -> rule2))] The bald eagle is cold.[(triple2)] The rabbit eats the bald eagle.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the bald eagle.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] @2: The bald eagle visits the rabbit.[(((((triple1) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))] @3: The bald eagle is kind.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule3) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4))] @4: The bald eagle is round.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple1) -> rule3) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5))]