The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle is big. The bald eagle does not see the cow. The cow chases the mouse. The cow eats the mouse. The cow eats the tiger. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse eats the cow. The mouse does not see the tiger. The tiger chases the mouse. The tiger eats the bald eagle. The tiger eats the cow. The tiger is not round. The tiger sees the mouse. If something chases the cow and the cow does not eat the mouse then it eats the tiger. If something eats the cow then the cow eats the tiger. If the tiger eats the cow and the cow does not chase the bald eagle then the tiger does not chase the bald eagle. If something eats the tiger then the tiger is blue. If something is round and blue then it sees the cow. If something is young and not blue then it is round.
The bald eagle is blue.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not see the cow.[(triple4)] The bald eagle is big.[(triple3)] The cow chases the mouse.[(triple5)] The cow eats the mouse.[(triple6)] The cow eats the tiger.[(triple7 OR ((triple10) -> rule2) OR ((triple14) -> rule2))] The mouse chases the bald eagle.[(triple8)] The mouse does not see the tiger.[(triple11)] The mouse eats the bald eagle.[(triple9)] The mouse eats the cow.[(triple10)] The tiger chases the mouse.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the cow.[(triple14)] The tiger is not round.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The tiger is blue.[(((triple7) -> rule4) OR ((((triple10) -> rule2)) -> rule4) OR ((((triple14) -> rule2)) -> rule4))]