The bald eagle is cold. The bald eagle is green. The bald eagle is young. The bald eagle likes the rabbit. The cow eats the mouse. The cow is cold. The cow is green. The cow is red. The cow needs the bald eagle. The cow needs the rabbit. The mouse eats the rabbit. The mouse is kind. The rabbit eats the bald eagle. The rabbit is young. The rabbit needs the cow. If something is green then it needs the cow. If something likes the bald eagle and the bald eagle likes the rabbit then it likes the mouse. If something likes the mouse and it needs the rabbit then it likes the bald eagle.
The cow does not like the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The cow eats the mouse.[(triple5)] The cow is cold.[(triple6)] The cow is green.[(triple7)] The cow is red.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow needs the rabbit.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse is kind.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The bald eagle needs the cow.[(((triple2) -> rule1))] The cow needs the cow.[(((triple7) -> rule1))]