Translate the following inference to logic notation: If Robert were fast, then Patricia is playing tennis. If Patricia plays tennis, then Robert is fast. If Robert were fast, then James is not driving a car. James is driving a car. Therefore Patricia is not playing tennis.
p -> q. q -> p. p -> ~r. r. Therefore ~q.