The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse does not chase the bald eagle. The mouse does not chase the tiger. The mouse is kind. The mouse likes the bald eagle. The mouse visits the bald eagle. The mouse does not visit the tiger. The tiger chases the bald eagle. The tiger is not big. The tiger is young. The tiger likes the bald eagle. The tiger likes the mouse. The tiger does not visit the mouse. If something visits the tiger and the tiger likes the mouse then the mouse likes the bald eagle. If the mouse chases the tiger then the tiger is rough. If something likes the bald eagle then the bald eagle visits the mouse.
The tiger is not rough.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the mouse.[(triple3 OR ((triple13) -> rule3) OR ((triple7) -> rule3))] The mouse does not chase the bald eagle.[(triple4)] The mouse does not chase the tiger.[(triple5)] The mouse does not visit the tiger.[(triple9)] The mouse is kind.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse visits the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple10)] The tiger does not visit the mouse.[(triple15)] The tiger is not big.[(triple11)] The tiger is young.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger likes the mouse.[(triple14)]