Given Information

• F(x): An object floats only if n1 is in front of it and it's not human and it's not a boundary.
• V(x): Object is a villager only if it is human and the woman is left of it and there is another human adjoining it.
• W(x): An object is a witch only if she's made of wood and not a boundary and she does not float.
• J(x): You're a judge only if you do not to wish to burn a daft object AND you do not wish to burn an intellegent object.