Where did this question come from?
It's badly written and it really doesn't make sense.
(Well, it does . . . but the conclusion is rather silly.)
Suppose the time is before symbolic logic was discovered
and you were asked to prove:
. .  If anyone is funny, then he is happy.
. .  There is someone who is funny but not happy.
. .  Therefore, Antony is a funny guy.
I have to resort to symbolic logic to make my point.
We have: .
That is:. = . . . . . .
Statement  says: All funny people are happy.
Statement  says: There is one person who is funny but is not happy.
. . That is, it is not true that all funny people are happy.
The two statements contradict each other.
. . Hence, the premise is false.
So we have: .
And a false premise can imply anything.
Therefore: Antony is a funny guy.
You don't have to use any special symbols.
The statements "any person who is funny is happy" and "there is a funny but unhappy person" are contradictory, since they imply that there is a person who is happy and unhappy. And a contradiction implies any statement. So the statements "any person who is funny is happy" and "there is a funny but unhappy person" imply the statement "Antony is a funny person".