The bald eagle is not green. The bald eagle is round. The bald eagle is young. The bald eagle likes the cat. The cat does not eat the bald eagle. The cat is not kind. The cat is round. The cat is not young. The cat likes the bald eagle. The cat visits the bald eagle. If someone visits the bald eagle and the bald eagle eats the cat then they are green. If the cat visits the bald eagle then the bald eagle eats the cat. If someone is round and they eat the cat then the cat visits the bald eagle. If the cat likes the bald eagle and the cat is green then the cat is not blue. If someone likes the cat then they visit the cat. If someone likes the bald eagle then the bald eagle likes the cat. If the cat eats the bald eagle and the cat does not visit the bald eagle then the cat likes the bald eagle. If the bald eagle eats the cat then the cat likes the bald eagle.
The cat eats the bald eagle.
@0: The bald eagle is not green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cat.[(triple4 OR ((triple9) -> rule6) OR ((((((triple10) -> rule2)) -> rule8)) -> rule6))] The cat does not eat the bald eagle.[(triple5)] The cat is not kind.[(triple6)] The cat is not young.[(triple8)] The cat is round.[(triple7)] The cat likes the bald eagle.[(triple9 OR ((((triple10) -> rule2)) -> rule8))] The cat visits the bald eagle.[(triple10)] @1: The bald eagle eats the cat.[(((triple10) -> rule2))] The bald eagle visits the cat.[(((triple4) -> rule5) OR ((((triple9) -> rule6)) -> rule5) OR ((((((((triple10) -> rule2)) -> rule8)) -> rule6)) -> rule5))] @2: The cat is green.[(((triple10 ((triple10) -> rule2)) -> rule1))] @3: The cat is not blue.[(((triple9 ((triple10 ((triple10) -> rule2)) -> rule1)) -> rule4) OR ((((((triple10) -> rule2)) -> rule8) ((triple10 ((triple10) -> rule2)) -> rule1)) -> rule4))]