Logical Data Analysis