Considere a seguinte argumentação:

1. Se João vai ao cinema, então ele compra pipoca.

2. Se João compra pipoca, então ele fica satisfeito.

3. João não comprou pipoca.

Com base nessas premissas, qual das conclusões abaixo pode ser logicamente inferida?