Translation of Arguments in Polyadic QL

Translate the following arguments into Polyadic QL. Test for validity using the Truth-Tree Method.

1. If Abner loves everyone who loves him, then Abner is taller than someone who loves him. But if Abner isn't happier than Belinda, Belinda loves everyone. Therefore everyone who Belinda loves, loves either Belinda or Abner.
 

2. All farmers who plant either wheat or corn will prosper. Ignat is a farmer. Ignat plants wheat. Someone prospers.
 

3. Someone who hates Ignat ignores Blanche. Anyone who ignores Blanche toasts marshmallows. But not Marshmallow toasters are taller than Fred. Therefore Fred hates everyone who doesn't hate Blanche.
 

4. New York is not west of Ohio but it is west of Germany. If something is west of New York it is west of Ohio. Therefore, Ohio is west of Germany.
 

5. Some philosophers who don't eat meat are not Democrats. All Democrates are Canadians. Therefore someone who does not eat meat is either a Canadian or a non-Canadian.
 

** Selected Solutions **