Em uma livraria, o cliente que usa a poltrona no verão não compra livros. Uma consequência lógica dessa situação indica que, nessa livraria,

se é verão, então o cliente usa a poltrona ou compra livros.

se não é verão e um cliente compra livros, então ele usa a poltrona.

se um cliente compra livros, então ele não usa a poltrona ou não é verão.

se é inverno e um cliente compra livros, então ele usa a poltrona.

se um cliente compra livros e usa a poltrona, então é inverno.