The bald eagle is green. The bald eagle needs the tiger. The bald eagle visits the mouse. The dog is rough. The dog needs the bald eagle. The dog visits the tiger. The mouse likes the tiger. The mouse needs the bald eagle. The tiger is young. The tiger likes the dog. The tiger likes the mouse. The tiger needs the dog. If the dog is round then the dog needs the bald eagle. If someone visits the dog and they need the bald eagle then the bald eagle visits the dog. If someone needs the dog then the dog visits the tiger. If the mouse needs the bald eagle and the mouse needs the tiger then the tiger visits the dog. If someone visits the mouse and they are big then the mouse is green. If someone needs the mouse then the mouse visits the bald eagle.
The dog does not visit the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the mouse.[(triple3)] The dog is rough.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog visits the tiger.[(triple6 OR ((triple12) -> rule3))] The mouse likes the tiger.[(triple7)] The mouse needs the bald eagle.[(triple8)] The tiger is young.[(triple9)] The tiger likes the dog.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger needs the dog.[(triple12)]