The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle needs the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is blue. The tiger is green. The tiger needs the bald eagle. If someone needs the bald eagle then the bald eagle is kind. If someone needs the bald eagle and they eat the bald eagle then they need the tiger. If someone chases the tiger and they need the tiger then the tiger is green.
The bald eagle is big.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is kind.[(triple6 OR ((triple12) -> rule1))] The bald eagle needs the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11 OR ((triple1 triple7) -> rule3))] The tiger needs the bald eagle.[(triple12)] @1: The tiger needs the tiger.[(((triple12 triple9) -> rule2))]