The bald eagle eats the cat. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. The bald eagle does not need the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is big. The cat is kind. The cat is rough. The cat is not young. The cat does not need the bald eagle. The cat visits the bald eagle. If someone is rough then they visit the bald eagle. If someone is kind and they do not need the bald eagle then they visit the bald eagle. If someone needs the cat and they are big then the cat visits the bald eagle. If the cat does not eat the bald eagle then the cat does not visit the bald eagle. If someone visits the cat and the cat visits the bald eagle then the bald eagle is rough. If someone eats the bald eagle then the bald eagle eats the cat. If someone visits the cat and they need the cat then they are big. If someone needs the cat and the cat eats the bald eagle then they are kind.
The bald eagle needs the bald eagle.
@0: The bald eagle does not need the cat.[(triple7)] The bald eagle eats the cat.[(triple1 OR ((triple9) -> rule6))] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple8 triple15) -> rule5) OR ((triple8 ((triple12) -> rule1)) -> rule5) OR ((triple8 ((triple11 triple14) -> rule2)) -> rule5))] The bald eagle is young.[(triple6)] The bald eagle visits the cat.[(triple8)] The cat does not need the bald eagle.[(triple14)] The cat eats the bald eagle.[(triple9)] The cat is big.[(triple10)] The cat is kind.[(triple11)] The cat is not young.[(triple13)] The cat is rough.[(triple12)] The cat visits the bald eagle.[(triple15 OR ((triple12) -> rule1) OR ((triple11 triple14) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple5) -> rule1) OR ((((triple8 triple15) -> rule5)) -> rule1) OR ((((triple8 ((triple12) -> rule1)) -> rule5)) -> rule1) OR ((((triple8 ((triple11 triple14) -> rule2)) -> rule5)) -> rule1))]