Regarding number 1:
First, as Bram28 mentions, there's a bit of an issue about scope (i.e. where you've put the parentheses) here. You can see that something's gone wrong by noticing that the string $A(x) \to B(x) \to$ appears in the middle of your predicate-logic expression. But there's no way to get a string like that by legitimate expression-forming operations! Remember, arrows always show up in expressions of the form $(P \to Q)$: so you could make something of the form $((P \to Q) \to R)$ or $(P \to (Q \to R))$, but not of the form $(P \to Q \to R)$. (A caveat: people will often write expressions like $(P \land Q \land R)$. But this is only acceptable because $((P \land Q) \land R)$ is logically equivalent to $(P \land (Q \land R))$: since $((P \to Q) \to R)$ is not equivalent to $(P \to (Q \to R))$, you can't do that here).
So what should you do? First, notice that the basic form of that sentence is "if P, then Q". So we know that we're looking for something of the form
$$(P \to Q)$$
Next, let's figure out what $P$ is. The English statement is "anyone on the plane is small". Now, you've gone for the universal quantifier here, which would mean that this means the same thing as "everyone on the plane is small". In this context, though, the phrase "if anyone on the plane is small" is the same thing as saying "if someone on the plane is small", i.e. if there is someone who is both on the plane and small. So we should use the existential quantifier, and replace $P$ by $\exists x (Ax \land Bx)$. (This is a difficult one, since "any" in English is ambiguous - in most contexts "any" is a universal quantification (e.g. "any dream will do", "for any natural number $n$, ..."). It tends to be read as an existential quantification when it's in a conditional like this, though. For another example, consider "if any here knows of any reason why these two should not be wed, let them speak now...": this applies if there is some person who knows of some reason, not if everyone knows of every reason!)
Now for $Q$, "everyone on the plane is not from USA". Again, look out for scope here: there's a difference between "not everyone on the plane is from USA" and "everyone on the plane is not from USA". Your predicate formula, $\lnot\forall x (Ax \to Cx)$, is a formalisation of the former phrase. To formalise the latter, think of it as saying "for every person on the plane, that person is not from USA": or even more explicitly, "for every person, if they are on the plane, they are not from the USA". So we replace $Q$ by $\forall x (Ax \to \lnot Cx)$. So, replacing $P$ and $Q$ by these, we get for the whole thing
$$(\exists x (Ax \land Bx) \to \forall x (Ax \to \lnot Cx))$$
I won't go through 2 and 3 in detail like this, since you should hopefully be able to use the above as a guide to figure out what to do. But here are suggestions for what to formalise:
- Let $Ax$ symbolise "$x$ is on the plane"
- Let $Lxy$ symbolise "$x$ likes $y$"
- Let $Gx$ symbolise "$x$ is on the ground"
- Let $Hxy$ symbolise "$x$ loves $y$"
These should be all the predicates you need: in particular, you don't need a predicate for phrases like "but no one else".