Logical Cause Analysis