The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle visits the squirrel. The squirrel chases the tiger. The tiger chases the bald eagle. The tiger is young. The tiger likes the bald eagle. The tiger likes the squirrel. The tiger visits the bald eagle. The tiger visits the squirrel. If someone chases the squirrel then they visit the bald eagle. If someone likes the tiger and the tiger likes the bald eagle then they visit the bald eagle. If someone likes the bald eagle then they like the tiger. If someone likes the bald eagle then they are round. If the tiger is round and the tiger visits the squirrel then the squirrel likes the bald eagle. If someone is young then they visit the tiger.
The tiger likes the tiger.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The squirrel chases the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger is young.[(triple6)] The tiger likes the bald eagle.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger visits the bald eagle.[(triple9 OR ((((triple7) -> rule3) triple7) -> rule2))] The tiger visits the squirrel.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple2 triple7) -> rule2))] The tiger is round.[(((triple7) -> rule4))] The tiger likes the tiger.[(((triple7) -> rule3))] The tiger visits the tiger.[(((triple6) -> rule6))] @2: The squirrel likes the bald eagle.[(((((triple7) -> rule4) triple10) -> rule5))] @3: The squirrel is round.[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule4))] The squirrel likes the tiger.[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule3))] @4: The squirrel visits the bald eagle.[(((((((((triple7) -> rule4) triple10) -> rule5)) -> rule3) triple7) -> rule2))]