The bald eagle is kind. The bald eagle needs the rabbit. The rabbit likes the bald eagle. The rabbit likes the squirrel. The rabbit needs the bald eagle. The rabbit needs the squirrel. The squirrel visits the bald eagle. If someone visits the squirrel and the squirrel visits the bald eagle then the squirrel is young. If someone needs the squirrel then they visit the rabbit. If someone likes the bald eagle and the bald eagle likes the rabbit then the rabbit needs the squirrel.
The squirrel is not young.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The rabbit likes the bald eagle.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit needs the bald eagle.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The rabbit visits the rabbit.[(((triple6) -> rule2))]