ペット飼育条件の推論と同時飼育の排除

「魚か鳥を飼っている学生は猫を飼っていない」と「犬とウサギを両方飼っている学生は猫も飼っている」がともに真であれば、「犬と鳥を両方飼っている学生にはウサギを飼っている学生はいない」が導かれる。

犬と鳥を飼う学生がウサギも飼うと、後者により猫を飼うが、前者により猫を飼っていないことになり、矛盾する。