Translate the following inference to logic notation: If James cooks, then Jennifer is running. If James cooks, then Linda is driving a car. Thomas is playing squash if and only if Linda is driving a car. Thomas is not playing squash. If Jennifer goes running, then James is cooking. Therefore Jennifer is not running.
p -> q. p -> r. s <-> r. ~s. q -> p. Therefore ~q.