The bald eagle sees the cow. The bald eagle visits the rabbit. The cow is blue. The cow does not visit the bald eagle. The rabbit is not blue. The rabbit is not kind. The rabbit is red. The rabbit does not see the cow. The rabbit visits the bald eagle. The squirrel eats the rabbit. The squirrel is cold. The squirrel sees the bald eagle. The squirrel sees the cow. The squirrel visits the bald eagle. The squirrel does not visit the cow. If something sees the bald eagle then the bald eagle eats the squirrel. If something visits the cow and the cow eats the rabbit then the cow eats the bald eagle. Nice things are red.
The rabbit visits the bald eagle.
@0: The bald eagle sees the cow.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The cow does not visit the bald eagle.[(triple4)] The cow is blue.[(triple3)] The rabbit does not see the cow.[(triple8)] The rabbit is not blue.[(triple5)] The rabbit is not kind.[(triple6)] The rabbit is red.[(triple7)] The rabbit visits the bald eagle.[(triple9)] The squirrel does not visit the cow.[(triple15)] The squirrel eats the rabbit.[(triple10)] The squirrel is cold.[(triple11)] The squirrel sees the bald eagle.[(triple12)] The squirrel sees the cow.[(triple13)] The squirrel visits the bald eagle.[(triple14)] @1: The bald eagle eats the squirrel.[(((triple12) -> rule1))]