Maria não ir ao teatro é condição suficiente para João ir...

Se o João não for ao clube o Miguel não vai ao cinema. E o Miguel não foi no cinema, significa que João foi ao clube. E se João foi ao clube, Maria não pode ter ido ao teatro. 

Logo: João vai ao clube, Maria não vai ao teatro, e Miguel não vai ao cinema.

Minha sugestão:

não tem preposição simples, não tem conectivo e/ou, nem necessário e suficiente, (portanto não tem por onde começar). Assim mantém a primeira premissa de que "todos são verdadeiros", já que não dá pra provar o contrário.

PARA ENTENDER BEM SILOGISMO HIPOTÉTICO, BASTA ENTENDER O SEGUINTE: "A CONCLUSÃO CONTÉM A CONDIÇÃO" OU "A CONDIÇÃO ESTÁ CONTIDA NA CONCLUSÃO".
ASSIM: 1) SE AFIRMO A CONDIÇÃO, AFIRMO A CONCLUSÃO
2) SE NEGO A CONDIÇÃO, A CONCLUSÃO É CONTINGENTE, OU SEJA, EU NÃO PRECISO NEGAR A CONCLUSÃO, MAS POSSO.
3) SE AFIRMO A CONCLUSÃO, A CONDIÇÃO FICA CONTINGENTE, OU SEJA, EU NÃO PRECISO AFIRMAR A CONDIÇÃO, MAS POSSO.
4) SE NEGO A CONCLUSÃO, NEGO TAMBÉM A CONDIÇÃO!