Analise o seguinte argumento lógico:

p1: Tomás come pipoca se e somente se assiste filme em sua casa.

p2: Ana bebe refrigerante se e somente se Tomás também beber.

p3: Ou Ana bebe refrigerante ou Tomás não come pipoca.

Sabendo que Tomás não assiste filme em sua casa, conclui?se que: