x: free object
m: moon
f: flower

S(x): seeing function of x
T(x): thinking function of x
O(x): some other function of x

1. ¬∃ₛ₍ₓ₎[S(x) ∧ ¬S(f)]
2. ∀ₛ₍ₓ₎[S(x) → S(f)]

1. ¬∃ₜ₍ₓ₎[T(x) ∧ ¬T(m)]
2. ∀ₜ₍ₓ₎[T(x) → T(m)]

1. ∃ₒ₍ₓ₎[O(x) ∧ ¬O(f) ∧ ¬O(m)]


🤠