A x Square(x) A x ~Pentagon(x) A x ~ Small(x) ~ A x Small(x) E x Triangle(x) E x Pentagon(x) E x ~Large(x) E x LeftOf(x,x) A x (Square(x) \/ Triangle(x)) A x (Square(x) /\ Triangle(x)) A x (Large(x) => Square(x)) A x (Medium(x) => Sqaure(x))