The bald eagle eats the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is round. The bald eagle sees the mouse. The bald eagle sees the tiger. The mouse is big. The mouse sees the bald eagle. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is cold. The tiger is green. The tiger sees the bald eagle. The tiger sees the mouse. The tiger visits the bald eagle. If someone visits the tiger and the tiger sees the bald eagle then they visit the bald eagle. If someone eats the mouse then they see the mouse. If the tiger visits the mouse then the tiger sees the mouse. If someone eats the mouse and they eat the bald eagle then the mouse sees the tiger. If someone sees the bald eagle and they are green then the bald eagle sees the tiger. If someone eats the tiger and the tiger visits the mouse then the mouse is blue. If someone eats the mouse then they visit the bald eagle. If someone is blue then they see the tiger.
The bald eagle eats the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the mouse.[(triple5 OR ((triple1) -> rule2))] The bald eagle sees the tiger.[(triple6 OR ((triple3) -> rule8) OR ((triple13 triple12) -> rule5))] The mouse is big.[(triple7)] The mouse sees the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the mouse.[(triple14 OR ((triple10) -> rule2))] The tiger visits the bald eagle.[(triple15 OR ((triple10) -> rule7))] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule7))] The mouse sees the tiger.[(((triple10 triple9) -> rule4))]