The bald eagle chases the lion. The bald eagle needs the lion. The bald eagle needs the tiger. The bald eagle visits the dog. The bald eagle visits the lion. The dog chases the bald eagle. The dog chases the tiger. The dog needs the tiger. The dog visits the bald eagle. The dog visits the tiger. The lion is blue. The lion needs the bald eagle. The lion needs the tiger. The lion visits the bald eagle. The lion visits the tiger. The tiger chases the lion. If someone needs the dog then they are nice. If someone needs the tiger and they visit the bald eagle then the bald eagle needs the dog. If the lion visits the bald eagle then the bald eagle chases the tiger. If someone needs the lion then they are rough. If someone is red then they visit the tiger. If the dog needs the bald eagle then the dog chases the lion. If someone visits the bald eagle and the bald eagle is round then they are red. If someone chases the tiger then they are red.
The dog does not visit the tiger.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the lion.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the tiger.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the tiger.[(triple10 OR ((((triple7) -> rule8)) -> rule5))] The lion is blue.[(triple11)] The lion needs the bald eagle.[(triple12)] The lion needs the tiger.[(triple13)] The lion visits the bald eagle.[(triple14)] The lion visits the tiger.[(triple15)] The tiger chases the lion.[(triple16)] @1: The bald eagle chases the tiger.[(((triple14) -> rule3))] The bald eagle is rough.[(((triple2) -> rule4))] The bald eagle needs the dog.[(((triple13 triple14) -> rule2) OR ((triple8 triple9) -> rule2))] The dog is red.[(((triple7) -> rule8))] @2: The bald eagle is nice.[(((((triple13 triple14) -> rule2)) -> rule1) OR ((((triple8 triple9) -> rule2)) -> rule1))] The bald eagle is red.[(((((triple14) -> rule3)) -> rule8))] @3: The bald eagle visits the tiger.[(((((((triple14) -> rule3)) -> rule8)) -> rule5))]