Logic can detect inconsistency, but not perfectly!