Ο Σέρλοκ Χολμς και η Μαθηματική λογική του

Ο Σέρλοκ Χολμς ρώτησε τον βοηθό του Δρ. Γουάτσον, τι μπορούσε να συμπεράνει από τα ακόλουθα γεγονότα, σε σχέση με μια ληστεία στο "Όργιαν Εξπρές" για την οποία υπάρχουν τρεις ύποπτοι οι Α, Β, Γ;

• Αν ο Α είναι ένοχος και ο Β αθώος, τότε ο Γ είναι ένοχος
• Ο Γ δεν δουλεύει ποτέ μόνος
• Ο Α δεν συνεργάζεται ποτέ με τον Γ
• Τουλάχιστον ένας από τους Α, Β, Γ είναι ένοχος και δεν ανακατεύτηκε στη ληστεία άλλος εκτός από τους Α, Β και Γ

Ο Δρ. Γουάτσον, έξυσε το κεφάλι του σκέφτηκε και είπε: 


" Όχι πολλά κύριε. Εσείς μπορείτε να συμπεράνετε ποιοι είναι ένοχοι και ποιοι αθώοι;" 

"Όχι" είπε ο Σέρλοκ Χολμς, "αλλά έχω αρκετές πληροφορίες να καταδικάσω έναν από αυτούς".

Ποιος είναι κατ' ανάγκην ένοχος; 


(Σημείωση: Ένα κλασικό πρόβλημα Μαθηματικής Λογικής!)