Answer Happy

Use a truth-tree to determine whether the following set of sentences is consistent. If it is consistent, specify the relevant part of an interpretation that makes all the literals on one completed open branch true. {-(3x)-FxV-(y)Gy, (3x)-Fx&Gx)}