The bald eagle is nice. The bald eagle likes the rabbit. The bald eagle likes the squirrel. The rabbit is red. The rabbit is young. The rabbit likes the bald eagle. The rabbit needs the squirrel. The rabbit visits the bald eagle. The rabbit visits the squirrel. The squirrel is blue. The squirrel is rough. The squirrel visits the bald eagle. If someone likes the rabbit and they are blue then the rabbit visits the bald eagle. If someone is red and they need the squirrel then the squirrel needs the rabbit.
The rabbit does not need the squirrel.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the bald eagle.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The squirrel needs the rabbit.[(((triple4 triple7) -> rule2))]