The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle needs the rabbit. The cow is green. The cow needs the bald eagle. The rabbit chases the cow. The rabbit needs the bald eagle. The rabbit needs the squirrel. The squirrel chases the cow. The squirrel is big. The squirrel is kind. The squirrel is round. The squirrel needs the bald eagle. The squirrel needs the cow. If someone is cold then they visit the bald eagle. If someone needs the rabbit then the rabbit needs the bald eagle. If someone visits the squirrel then the squirrel is kind. If someone is round and they chase the bald eagle then the bald eagle visits the cow. If someone visits the cow and the cow chases the bald eagle then they need the squirrel. If someone is green and they chase the cow then they need the bald eagle.
The cow does not need the squirrel.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cow is green.[(triple6)] The cow needs the bald eagle.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit needs the bald eagle.[(triple9 OR ((triple5) -> rule2))] The rabbit needs the squirrel.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel is big.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule1))]