Translate the following inference to logic notation: Joseph is running if and only if Susan is taking a plane. Joseph is running if and only if it is sunny. It is cloudy or it is sunny. It is not cloudy or William is a soldier. Susan is not taking a plane. Therefore William is a soldier.
p <-> q. p <-> r. s or r. ~s or t. ~q. Therefore t.