Translate the following inference to logic notation: If Mary were a carpenter, then it is sunny. If it is sunny, then Jessica is listening to a song. If Jessica listens to a song, then Thomas is a cashier. If it snows, then Mary is a carpenter. If Thomas were a cashier, then it is snowing. Therefore if it is sunny, then it is snowing.
p -> q. q -> r. r -> s. t -> p. s -> t. Therefore q -> t.