Probably because translating natural language into logic form isn't very easy, and also the point where this approach breaks down.