The bald eagle eats the cow. The bald eagle does not eat the rabbit. The bald eagle sees the cow. The cow is nice. The cow is rough. The cow sees the bald eagle. The cow sees the rabbit. The cow does not visit the squirrel. The rabbit visits the cow. The squirrel is blue. The squirrel sees the cow. The squirrel sees the rabbit. Blue people are green. If someone sees the cow then the cow is blue. If the cow eats the rabbit and the squirrel does not eat the cow then the rabbit sees the bald eagle. If someone sees the rabbit then they do not eat the squirrel. If someone visits the bald eagle and the bald eagle does not visit the rabbit then the rabbit sees the squirrel. If someone visits the bald eagle then the bald eagle is not blue.
The squirrel eats the squirrel.
@0: The bald eagle does not eat the rabbit.[(triple2)] The bald eagle eats the cow.[(triple1)] The bald eagle sees the cow.[(triple3)] The cow does not visit the squirrel.[(triple8)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit visits the cow.[(triple9)] The squirrel is blue.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The cow does not eat the squirrel.[(((triple7) -> rule4))] The cow is blue.[(((triple11) -> rule2) OR ((triple3) -> rule2))] The squirrel does not eat the squirrel.[(((triple12) -> rule4))] The squirrel is green.[(((triple10) -> rule1))] @2: The cow is green.[(((((triple11) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]