Detective Logic
Find contradiction: suspect says they were in Library at 21:00.