Translate the following inference to logic notation: It is windy or Robert is not working. Thomas is sleeping. If Thomas sleeps, then it is windy. Therefore it is windy.
p or ~q. r. r -> p. Therefore p.