Translate the following inference to logic notation: It is cold. Karen is not bored. It is windy if and only if Karen is bored. It is not sunny or Joseph is driving a car. It is sunny or it is windy. Therefore it is cold and Joseph is driving a car.
p. ~q. r <-> q. ~s or t. s or r. Therefore p and t.