The bald eagle needs the rabbit. The rabbit does not eat the tiger. The rabbit is big. The rabbit is green. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger sees the bald eagle. If someone sees the bald eagle then the bald eagle needs the rabbit. If someone is blue then they eat the bald eagle. If someone needs the bald eagle then they need the tiger. If someone eats the rabbit then the rabbit does not eat the bald eagle. If someone is big and they do not see the rabbit then they see the tiger. If someone needs the tiger then the tiger is not green. If someone is big and they do not eat the bald eagle then the bald eagle needs the tiger. If the bald eagle sees the tiger and the bald eagle is not blue then the bald eagle needs the tiger.
The rabbit eats the bald eagle.
@0: The bald eagle needs the rabbit.[(triple1 OR ((triple7) -> rule1))] The rabbit does not eat the tiger.[(triple2)] The rabbit is big.[(triple3)] The rabbit is green.[(triple4)] The tiger eats the bald eagle.[(triple5)] The tiger eats the rabbit.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The rabbit does not eat the bald eagle.[(((triple6) -> rule4))] @2: The bald eagle needs the tiger.[(((triple3 ((triple6) -> rule4)) -> rule7))] @3: The tiger is not green.[(((((triple3 ((triple6) -> rule4)) -> rule7)) -> rule6))]