The bald eagle likes the cow. The cat eats the cow. The cat is blue. The cat likes the cow. The cat likes the rabbit. The cat needs the rabbit. The cow is not red. The cow needs the cat. The cow needs the rabbit. The rabbit is nice. The rabbit is round. If something needs the bald eagle and the bald eagle is green then the bald eagle is nice. If something eats the rabbit and the rabbit is not blue then the rabbit eats the cat. If something eats the rabbit then it needs the bald eagle. If something is red and it likes the bald eagle then it needs the rabbit. If something is red then it eats the rabbit. If something likes the cow then it is red. If something needs the bald eagle then the bald eagle is green. If the bald eagle is green and the bald eagle is not nice then the bald eagle eats the cat. If something is red and it does not eat the cat then the cat is blue.
The cat eats the rabbit.
@0: The bald eagle likes the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat is blue.[(triple3)] The cat likes the cow.[(triple4)] The cat likes the rabbit.[(triple5)] The cat needs the rabbit.[(triple6)] The cow is not red.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the rabbit.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is round.[(triple11)] @1: The bald eagle is red.[(((triple1) -> rule6))] The cat is red.[(((triple4) -> rule6))] @2: The bald eagle eats the rabbit.[(((((triple1) -> rule6)) -> rule5))] The cat eats the rabbit.[(((((triple4) -> rule6)) -> rule5))] @3: The bald eagle needs the bald eagle.[(((((((triple1) -> rule6)) -> rule5)) -> rule3))] The cat needs the bald eagle.[(((((((triple4) -> rule6)) -> rule5)) -> rule3))] @4: The bald eagle is green.[(((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule5)) -> rule3)) -> rule7))] @5: The bald eagle is nice.[(((((((((triple1) -> rule6)) -> rule5)) -> rule3) ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule3) ((((((((triple4) -> rule6)) -> rule5)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule5)) -> rule3) ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule5)) -> rule3) ((((((((triple4) -> rule6)) -> rule5)) -> rule3)) -> rule7)) -> rule1))]