I suspect you may have a hard time representing all the implications, subtexts, and allusions in a play by Shakespeare with First Order Logic.

It seems more likely that First Order Logic can be represented by a subset of natural language.

Otherwise, I agree. I don't understand why everyone has been concentrating so hard on probabilistic ML when there are many applications where inductive inference is more efficient and powerful.