The bald eagle eats the cat. The bald eagle is green. The bald eagle is nice. The bald eagle is not red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cat. The bald eagle does not need the cat. The cat eats the bald eagle. The cat is green. The cat is not nice. The cat is red. The cat is round. The cat likes the bald eagle. The cat needs the bald eagle. If someone likes the bald eagle then they like the cat. If someone is red and they need the cat then they are nice. If the bald eagle does not need the cat then the cat needs the bald eagle. If someone likes the cat then they eat the bald eagle. If the bald eagle likes the cat then the bald eagle eats the cat. If someone eats the cat then they are not red. If someone needs the cat then the cat eats the bald eagle. If someone is nice and they do not eat the cat then the cat eats the bald eagle.
The cat is not round.
@0: The bald eagle does not need the cat.[(triple8)] The bald eagle eats the cat.[(triple1 OR ((triple7) -> rule5))] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is not red.[(triple4 OR ((triple1) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the cat.[(triple7)] The cat eats the bald eagle.[(triple9 OR ((((triple14) -> rule1)) -> rule4))] The cat is green.[(triple10)] The cat is not nice.[(triple11)] The cat is red.[(triple12)] The cat is round.[(triple13)] The cat likes the bald eagle.[(triple14)] The cat needs the bald eagle.[(triple15 OR ((triple8) -> rule3))] @1: The bald eagle eats the bald eagle.[(((triple7) -> rule4))] The cat likes the cat.[(((triple14) -> rule1))]