The bald eagle eats the cow. The bald eagle is blue. The bald eagle needs the mouse. The cow eats the bald eagle. The cow eats the mouse. The cow eats the tiger. The cow is big. The cow is blue. The cow likes the bald eagle. The cow likes the tiger. The mouse eats the tiger. The mouse needs the bald eagle. The mouse needs the cow. The tiger is big. The tiger needs the cow. If something likes the bald eagle then it likes the mouse. If the tiger needs the cow and the tiger eats the bald eagle then the tiger needs the bald eagle. If something likes the mouse and the mouse eats the tiger then the mouse is big.
The bald eagle is cold.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the mouse.[(triple5)] The cow eats the tiger.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the tiger.[(triple10)] The mouse eats the tiger.[(triple11)] The mouse needs the bald eagle.[(triple12)] The mouse needs the cow.[(triple13)] The tiger is big.[(triple14)] The tiger needs the cow.[(triple15)] @1: The cow likes the mouse.[(((triple9) -> rule1))] @2: The mouse is big.[(((((triple9) -> rule1) triple11) -> rule3))]