The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is young. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle does not visit the tiger. The mouse eats the tiger. The mouse is not green. The mouse is red. The mouse visits the tiger. The tiger eats the bald eagle. The tiger eats the mouse. The tiger likes the bald eagle. The tiger likes the mouse. The tiger visits the mouse. If someone visits the tiger then they are round.
The bald eagle does not like the bald eagle.
@0: The bald eagle does not visit the tiger.[(triple6)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the tiger.[(triple5)] The mouse eats the tiger.[(triple7)] The mouse is not green.[(triple8)] The mouse is red.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse is round.[(((triple10) -> rule1))]