The bald eagle eats the cow. The bald eagle eats the mouse. The bald eagle needs the cow. The cow eats the mouse. The cow is not cold. The cow is rough. The cow does not like the bald eagle. The cow does not like the tiger. The cow needs the tiger. The mouse eats the tiger. The mouse is blue. The mouse likes the cow. The mouse likes the tiger. The mouse needs the bald eagle. The tiger likes the mouse. The tiger needs the mouse. If someone eats the mouse then they need the cow. If the tiger likes the bald eagle then the bald eagle likes the cow. If someone is nice and rough then they eat the bald eagle. If someone eats the mouse and the mouse eats the bald eagle then the bald eagle eats the tiger. If someone likes the tiger and they like the bald eagle then the tiger does not like the mouse. If someone is green then they do not need the tiger. If the tiger needs the bald eagle and the tiger does not need the cow then the tiger is cold. If someone is rough and they do not need the tiger then they do not eat the tiger.
The tiger is green.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle needs the cow.[(triple3 OR ((triple2) -> rule1))] The cow does not like the bald eagle.[(triple7)] The cow does not like the tiger.[(triple8)] The cow eats the mouse.[(triple4)] The cow is not cold.[(triple5)] The cow is rough.[(triple6)] The cow needs the tiger.[(triple9)] The mouse eats the tiger.[(triple10)] The mouse is blue.[(triple11)] The mouse likes the cow.[(triple12)] The mouse likes the tiger.[(triple13)] The mouse needs the bald eagle.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The cow needs the cow.[(((triple4) -> rule1))]