The bald eagle eats the tiger. The bald eagle is not blue. The bald eagle likes the tiger. The bald eagle does not visit the mouse. The mouse eats the tiger. The mouse is big. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse visits the bald eagle. The tiger likes the mouse. The tiger visits the bald eagle. If someone likes the mouse then they eat the bald eagle. If someone is rough then they visit the bald eagle. If the mouse does not eat the tiger then the mouse visits the bald eagle.
The mouse visits the bald eagle.
@0: The bald eagle does not visit the mouse.[(triple4)] The bald eagle eats the tiger.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle likes the tiger.[(triple3)] The mouse eats the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is rough.[(triple7)] The mouse is round.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse visits the bald eagle.[(triple10 OR ((triple7) -> rule2))] The tiger likes the mouse.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The tiger eats the bald eagle.[(((triple11) -> rule1))]