Symbolize the following argument in QLI:
Jeff has exactly two friends. He is not friends with Martha, who is taller than her mother. At least one of his friends is not taller than anyone in her family. Anne is taller than her only sister. Thus Jeff and Anne are not friends.