Translate the following inference to logic notation: If Linda were a scientist, then it is late. Linda is a cashier if and only if it is late. Linda is a cashier if and only if it is cloudy. If it is cloudy, then it is snowing. Therefore if Linda were a scientist, then it is snowing.
p -> q. r <-> q. r <-> s. s -> t. Therefore p -> t.