The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle eats the tiger. The bald eagle is young. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is blue. The rabbit is cold. The rabbit needs the bald eagle. The rabbit needs the tiger. The tiger chases the rabbit. The tiger needs the bald eagle. If someone is blue and they chase the bald eagle then they eat the tiger. If someone is young then they eat the rabbit. If someone chases the rabbit then the rabbit needs the tiger. If the rabbit chases the tiger then the rabbit is blue. If someone chases the bald eagle then the bald eagle is young. If someone needs the bald eagle and they eat the tiger then the tiger is blue. If someone chases the rabbit then they need the bald eagle. If someone needs the rabbit and they are blue then they are young.
The bald eagle eats the tiger.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2 OR ((triple4) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] The bald eagle eats the tiger.[(triple3)] The bald eagle is young.[(triple4 OR ((triple5) -> rule5))] The rabbit chases the bald eagle.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is blue.[(triple7 OR ((triple6) -> rule4))] The rabbit is cold.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the tiger.[(triple10 OR ((triple1) -> rule3) OR ((triple11) -> rule3))] The tiger chases the rabbit.[(triple11)] The tiger needs the bald eagle.[(triple12 OR ((triple11) -> rule7))] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule7))] The rabbit eats the tiger.[(((triple7 triple5) -> rule1) OR ((((triple6) -> rule4) triple5) -> rule1))] @2: The tiger is blue.[(((triple9 ((triple7 triple5) -> rule1)) -> rule6) OR ((((triple1) -> rule7) triple3) -> rule6) OR ((triple9 ((((triple6) -> rule4) triple5) -> rule1)) -> rule6))]