The bald eagle visits the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat is green. The cat needs the bald eagle. The cat does not need the dog. The cat visits the bald eagle. The dog chases the cat. The dog is kind. The dog is young. The tiger chases the bald eagle. The tiger chases the cat. If someone chases the dog then the dog is green. If someone visits the dog and they do not need the tiger then the tiger chases the bald eagle. If someone is kind then they do not need the cat. If someone needs the bald eagle and they do not chase the cat then the cat is kind. If someone chases the dog then the dog visits the bald eagle. If someone needs the bald eagle and they do not chase the bald eagle then they need the dog.
The cat does not visit the bald eagle.
@0: The bald eagle visits the tiger.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat chases the tiger.[(triple3)] The cat does not need the dog.[(triple6)] The cat is green.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple7)] The dog chases the cat.[(triple8)] The dog is kind.[(triple9)] The dog is young.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the cat.[(triple12)] @1: The dog does not need the cat.[(((triple9) -> rule3))]