The bald eagle eats the bear. The bald eagle sees the mouse. The bald eagle sees the tiger. The bald eagle visits the bear. The bald eagle visits the tiger. The bear sees the tiger. The mouse is kind. The mouse is round. The mouse is young. The mouse visits the tiger. The tiger eats the bald eagle. The tiger is blue. The tiger is round. The tiger sees the bear. The tiger sees the mouse. The tiger visits the bald eagle. If someone eats the tiger then the tiger is young. If someone eats the bear then they are young. If someone sees the tiger then the tiger visits the bald eagle.
The tiger is not round.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The mouse is kind.[(triple7)] The mouse is round.[(triple8)] The mouse is young.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger is blue.[(triple12)] The tiger is round.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the bald eagle.[(triple16 OR ((triple3) -> rule3) OR ((triple6) -> rule3))] @1: The bald eagle is young.[(((triple1) -> rule2))]