The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is big. The bald eagle is red. The cat chases the bald eagle. The cat eats the bald eagle. The cat is big. The cat is kind. The cat is red. The cat needs the bald eagle. If someone needs the cat then the cat chases the bald eagle. If someone is rough and they chase the bald eagle then they eat the bald eagle. If someone eats the bald eagle and the bald eagle needs the cat then the bald eagle is big. If someone needs the bald eagle then the bald eagle needs the cat. If someone eats the cat then the cat chases the bald eagle. If someone is big and they chase the cat then the cat eats the bald eagle.
The cat does not need the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is big.[(triple3 OR ((triple6 ((triple10) -> rule4)) -> rule3))] The bald eagle is red.[(triple4)] The cat chases the bald eagle.[(triple5 OR ((triple2) -> rule5) OR ((((triple10) -> rule4)) -> rule1))] The cat eats the bald eagle.[(triple6 OR ((triple3 triple1) -> rule6))] The cat is big.[(triple7)] The cat is kind.[(triple8)] The cat is red.[(triple9)] The cat needs the bald eagle.[(triple10)] @1: The bald eagle needs the cat.[(((triple10) -> rule4))]