The bald eagle is not green. The bald eagle likes the cow. The bald eagle needs the cat. The cat is cold. The cat likes the cow. The cat needs the bald eagle. The cow eats the cat. The dog does not eat the cow. The dog is green. The dog likes the cow. The dog needs the bald eagle. All cold things are green. If something is cold then it needs the cow. If something is young then it needs the bald eagle. If something is young and cold then it eats the dog. If the bald eagle does not need the cat then the bald eagle likes the dog. If something eats the dog then the dog is cold. If something is cold then it is young.
The bald eagle does not need the dog.
@0: The bald eagle is not green.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat is cold.[(triple4)] The cat likes the cow.[(triple5)] The cat needs the bald eagle.[(triple6 OR ((((triple4) -> rule7)) -> rule3))] The cow eats the cat.[(triple7)] The dog does not eat the cow.[(triple8)] The dog is green.[(triple9 OR ((((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule1))] The dog likes the cow.[(triple10)] The dog needs the bald eagle.[(triple11 OR ((((((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule7)) -> rule3))] @1: The cat is green.[(((triple4) -> rule1))] The cat is young.[(((triple4) -> rule7))] The cat needs the cow.[(((triple4) -> rule2))] @2: The cat eats the dog.[(((((triple4) -> rule7) triple4) -> rule4))] @3: The dog is cold.[(((((((triple4) -> rule7) triple4) -> rule4)) -> rule6))] @4: The dog is young.[(((((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule7))] The dog needs the cow.[(((((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule2))] @5: The dog eats the dog.[(((((((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule7) ((((((triple4) -> rule7) triple4) -> rule4)) -> rule6)) -> rule4))]