The bald eagle likes the dog. The bald eagle likes the rabbit. The bald eagle needs the dog. The cow likes the rabbit. The cow needs the bald eagle. The cow needs the dog. The dog likes the rabbit. The dog visits the bald eagle. The dog visits the rabbit. The rabbit is green. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit visits the cow. The rabbit visits the dog. If someone likes the cow and the cow is green then they are red. If someone visits the cow then they are red. If someone is young then they visit the dog. If the rabbit likes the dog and the dog visits the cow then the cow likes the rabbit. If someone visits the dog then they are round. If someone likes the bald eagle and the bald eagle likes the rabbit then they visit the rabbit. If someone visits the dog then the dog is young. If someone needs the dog then the dog is green.
The bald eagle does not need the cow.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow likes the rabbit.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the dog.[(triple6)] The dog likes the rabbit.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the rabbit.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the bald eagle.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the dog.[(triple15 OR ((triple11) -> rule3))] @1: The dog is green.[(((triple3) -> rule8) OR ((triple6) -> rule8))] The dog is young.[(((triple15) -> rule7) OR ((((triple11) -> rule3)) -> rule7))] The rabbit is red.[(((triple14) -> rule2))] The rabbit is round.[(((triple15) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] The rabbit visits the rabbit.[(((triple12 triple2) -> rule6))] @2: The dog visits the dog.[(((((triple15) -> rule7)) -> rule3) OR ((((((triple11) -> rule3)) -> rule7)) -> rule3))] @3: The dog is round.[(((((((triple15) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule7)) -> rule3)) -> rule5))]