A man in a red shirt is giving a lecture in an auditorium , with two men sitting at a desk at the front of the full room .
There is a better than even chance that a professor is teaching his class .
There is a better than even chance that a professor is teaching his class .
It is highly unlikely that a professor is teaching his class .
A professor is teaching his class .