Uma linha basta para negar a consequência

A consulta é p → r. Escolha quais premissas pertencem à base. Uma linha vermelha é um contraexemplo: a base é verdadeira e a consulta é falsa.