The bald eagle is nice. The bald eagle likes the squirrel. The bald eagle needs the cow. The cow eats the squirrel. The cow is kind. The cow is rough. The cow does not like the bald eagle. The cow does not like the squirrel. The cow needs the bald eagle. The squirrel eats the cow. The squirrel needs the bald eagle. The squirrel needs the cow. If something is rough and it eats the squirrel then it eats the bald eagle. If something eats the bald eagle then it is cold.
The squirrel does not like the squirrel.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow does not like the bald eagle.[(triple7)] The cow does not like the squirrel.[(triple8)] The cow eats the squirrel.[(triple4)] The cow is kind.[(triple5)] The cow is rough.[(triple6)] The cow needs the bald eagle.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow eats the bald eagle.[(((triple6 triple4) -> rule1))] @2: The cow is cold.[(((((triple6 triple4) -> rule1)) -> rule2))]