The bald eagle needs the squirrel. The rabbit is round. The rabbit likes the bald eagle. The rabbit likes the tiger. The rabbit needs the tiger. The squirrel likes the bald eagle. The squirrel needs the tiger. The squirrel visits the tiger. The tiger likes the rabbit. The tiger needs the bald eagle. If the bald eagle needs the tiger then the bald eagle likes the squirrel. If someone visits the tiger then they like the squirrel. If the rabbit is blue and the rabbit needs the squirrel then the squirrel likes the rabbit. If the squirrel visits the bald eagle then the bald eagle visits the squirrel. If someone is green then they need the tiger. If someone needs the squirrel then the squirrel visits the bald eagle. If the bald eagle is blue then the bald eagle is kind. If someone visits the squirrel then the squirrel is round.
The tiger does not need the tiger.
@0: The bald eagle needs the squirrel.[(triple1)] The rabbit is round.[(triple2)] The rabbit likes the bald eagle.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit needs the tiger.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The squirrel likes the squirrel.[(((triple8) -> rule2))] The squirrel visits the bald eagle.[(((triple1) -> rule6))] @2: The bald eagle visits the squirrel.[(((((triple1) -> rule6)) -> rule4))] @3: The squirrel is round.[(((((((triple1) -> rule6)) -> rule4)) -> rule8))]