The bald eagle is green. The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the dog. The dog eats the tiger. The dog is green. The dog is not round. The dog is not young. The dog needs the tiger. The tiger is round. The tiger needs the bald eagle. The tiger needs the dog. If something is young and it needs the dog then it is not cold. If something is rough then it does not visit the dog. If something needs the tiger then it visits the dog. If something needs the dog then it is not young. If something is green then it needs the dog. If something visits the tiger and the tiger visits the dog then the dog visits the tiger. If the dog is green then the dog eats the bald eagle. If something visits the tiger then the tiger does not need the dog.
The dog does not visit the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the dog.[(triple4 OR ((triple3) -> rule3))] The dog eats the tiger.[(triple5)] The dog is green.[(triple6)] The dog is not round.[(triple7)] The dog is not young.[(triple8 OR ((((triple6) -> rule5)) -> rule4))] The dog needs the tiger.[(triple9)] The tiger is round.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger needs the dog.[(triple12)] @1: The bald eagle needs the dog.[(((triple1) -> rule5))] The dog eats the bald eagle.[(((triple6) -> rule7))] The dog needs the dog.[(((triple6) -> rule5))] The dog visits the dog.[(((triple9) -> rule3))] The tiger is not young.[(((triple12) -> rule4))] @2: The bald eagle is not young.[(((((triple1) -> rule5)) -> rule4))]