The bald eagle eats the mouse. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is round. The bald eagle needs the tiger. The mouse is green. The mouse is red. The mouse is round. The mouse needs the bald eagle. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is cold. The tiger is green. The tiger is round. If someone eats the tiger and the tiger eats the mouse then the mouse is blue. If the mouse is round then the mouse needs the bald eagle. If someone is blue and they need the bald eagle then they see the bald eagle. If someone sees the tiger then they are green. If someone is red and they see the bald eagle then they see the mouse. If someone is cold then they see the mouse.
The mouse does not see the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the tiger.[(triple5)] The mouse is green.[(triple6 OR ((triple11) -> rule4))] The mouse is red.[(triple7)] The mouse is round.[(triple8)] The mouse needs the bald eagle.[(triple9 OR ((triple8) -> rule2))] The mouse needs the tiger.[(triple10)] The mouse sees the tiger.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is cold.[(triple13)] The tiger is green.[(triple14)] The tiger is round.[(triple15)] @1: The mouse is blue.[(((triple2 triple12) -> rule1))] The tiger sees the mouse.[(((triple13) -> rule6))] @2: The mouse sees the bald eagle.[(((((triple2 triple12) -> rule1) triple9) -> rule3) OR ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3))] @3: The mouse sees the mouse.[(((triple7 ((((triple2 triple12) -> rule1) triple9) -> rule3)) -> rule5) OR ((triple7 ((((triple2 triple12) -> rule1) ((triple8) -> rule2)) -> rule3)) -> rule5))]