The bald eagle needs the dog. The cat chases the dog. The cat chases the tiger. The cat is cold. The cat needs the bald eagle. The cat needs the dog. The dog chases the bald eagle. The dog chases the cat. The dog needs the tiger. The dog visits the bald eagle. The dog visits the cat. The tiger chases the bald eagle. The tiger is big. The tiger is cold. The tiger needs the bald eagle. The tiger needs the cat. If the dog needs the tiger then the dog needs the cat. If someone is big then they need the bald eagle. If someone is cold and they visit the cat then they chase the tiger.
The dog does not visit the bald eagle.
@0: The bald eagle needs the dog.[(triple1)] The cat chases the dog.[(triple2)] The cat chases the tiger.[(triple3)] The cat is cold.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog chases the cat.[(triple8)] The dog needs the tiger.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the cat.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger is big.[(triple13)] The tiger is cold.[(triple14)] The tiger needs the bald eagle.[(triple15 OR ((triple13) -> rule2))] The tiger needs the cat.[(triple16)] @1: The dog needs the cat.[(((triple9) -> rule1))]