The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle does not visit the tiger. The mouse is big. The mouse is blue. The mouse is not round. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is blue. The tiger is cold. The tiger needs the bald eagle. The tiger needs the mouse. The tiger visits the bald eagle. If someone visits the bald eagle and they do not need the mouse then the mouse does not visit the bald eagle. If someone visits the mouse then the mouse visits the bald eagle. If someone visits the mouse and they eat the mouse then they need the bald eagle. If someone is young then they need the bald eagle. If someone visits the bald eagle and they do not need the tiger then the bald eagle is not round. If the tiger needs the bald eagle and the tiger eats the mouse then the tiger is round. If the bald eagle eats the tiger and the tiger is big then the bald eagle visits the mouse. If someone eats the bald eagle and they are blue then they are big.
The tiger is round.
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is not round.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The tiger is big.[(((triple9 triple11) -> rule8))] The tiger is round.[(((triple13 triple10) -> rule6))] @2: The bald eagle visits the mouse.[(((triple2 ((triple9 triple11) -> rule8)) -> rule7))] @3: The bald eagle needs the bald eagle.[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7) triple1) -> rule3))] The mouse visits the bald eagle.[(((((triple2 ((triple9 triple11) -> rule8)) -> rule7)) -> rule2))]