The bald eagle is green. The bald eagle is not rough. The bald eagle likes the tiger. The bald eagle visits the mouse. The bald eagle does not visit the tiger. The mouse likes the bald eagle. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the bald eagle. The tiger does not like the mouse. The tiger visits the bald eagle. The tiger visits the mouse. If someone chases the tiger then they chase the bald eagle. If someone is young then they visit the mouse. If someone likes the tiger and they are young then they are nice. If someone likes the bald eagle then the bald eagle chases the tiger. If the mouse visits the tiger then the mouse chases the tiger. If someone likes the bald eagle then they are rough. If someone likes the tiger and they do not chase the tiger then the tiger chases the bald eagle. If someone chases the bald eagle then they visit the bald eagle.
The bald eagle visits the tiger.
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle is green.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the mouse.[(triple4)] The mouse likes the bald eagle.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the mouse.[(triple8)] The tiger does not like the mouse.[(triple13)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10 OR ((triple12) -> rule6))] The tiger is young.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger visits the bald eagle.[(triple14 OR ((triple7) -> rule8))] The tiger visits the mouse.[(triple15 OR ((triple11) -> rule2))] @1: The bald eagle chases the tiger.[(((triple12) -> rule4) OR ((triple6) -> rule4))] The mouse is rough.[(((triple6) -> rule6))] @2: The bald eagle chases the bald eagle.[(((((triple12) -> rule4)) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] @3: The bald eagle visits the bald eagle.[(((((((triple12) -> rule4)) -> rule1)) -> rule8) OR ((((((triple6) -> rule4)) -> rule1)) -> rule8))]