The bald eagle is cold. The bald eagle does not like the tiger. The cow is blue. The cow is cold. The cow likes the bald eagle. The cow likes the mouse. The cow likes the tiger. The cow needs the mouse. The cow sees the mouse. The cow sees the tiger. The mouse is blue. The mouse is cold. The tiger is nice. The tiger does not like the cow. The tiger sees the cow. If the mouse likes the tiger then the tiger does not need the mouse. If something sees the tiger then it is round.
The bald eagle is not round.
@0: The bald eagle does not like the tiger.[(triple2)] The bald eagle is cold.[(triple1)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow likes the bald eagle.[(triple5)] The cow likes the mouse.[(triple6)] The cow likes the tiger.[(triple7)] The cow needs the mouse.[(triple8)] The cow sees the mouse.[(triple9)] The cow sees the tiger.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The tiger does not like the cow.[(triple14)] The tiger is nice.[(triple13)] The tiger sees the cow.[(triple15)] @1: The cow is round.[(((triple10) -> rule2))]