Translate the following inference to logic notation: It is raining or it is sunny. If it is sunny, then James is running. It is raining if and only if John is sleeping. If James goes running, then John is sleeping. Therefore John is sleeping.
p or q. q -> r. p <-> s. r -> s. Therefore s.