  Describing observations or objects in non-mathematical disciplines can often
be accomplished by answering a list of questions. These questions can be
formulated in such a way that the only possible answers always are ``yes'' or
``no''. This article is about automatically checking such given binary data
sets for inconsistencies and about finding possible logical rules valid for the
analyzed objects.
