The bald eagle eats the lion. The bald eagle is blue. The bald eagle is red. The bald eagle sees the lion. The bald eagle sees the mouse. The lion eats the mouse. The lion eats the tiger. The mouse eats the tiger. The mouse likes the bald eagle. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is blue. The tiger is young. The tiger likes the lion. The tiger sees the lion. If someone likes the bald eagle and they see the tiger then the bald eagle sees the mouse. If someone eats the mouse then they are blue. If someone is red and they see the mouse then the mouse likes the bald eagle.
The mouse is not blue.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the mouse.[(triple5)] The lion eats the mouse.[(triple6)] The lion eats the tiger.[(triple7)] The mouse eats the tiger.[(triple8)] The mouse likes the bald eagle.[(triple9 OR ((triple3 triple5) -> rule3))] The tiger eats the bald eagle.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is blue.[(triple12 OR ((triple11) -> rule2))] The tiger is young.[(triple13)] The tiger likes the lion.[(triple14)] The tiger sees the lion.[(triple15)] @1: The lion is blue.[(((triple6) -> rule2))]