Translate the following inference to logic notation: If Thomas were bored, then it is late. Barbara is taking a plane or Joseph is not happy. If it is late, then Michael is making tea. If Barbara takes a plane, then Thomas is bored. Therefore if Joseph were happy, then Michael is making tea.
p -> q. r or ~s. q -> t. r -> p. Therefore s -> t.