Ensure to only do question if answer is right and show all detailed steps taken to get to answer. Do not use AI Symbolize the following sentences in SL using the symbolization key provided:

A: Aaron is in the office.

B: Bryan is in the office.

J: Jerry goes home early.

S: It$$s sunny.

T: It$$s Tuesday.

W: It$$s warm.

It$$s not both sunny and warm.

Aaron or Bryan is in the office.

Aaron is in the office if Bryan is$.$

Bryan is in the office only if it$$s Tuesday.

It$$s Tuesday, and although it$$s sunny, it$$s not warm.

It$$s neither sunny nor warm, but Jerry still went home early.

Aaron is in the office or Jerry went home early, but not both.

Bryan is in the office if and only if it$$s Tuesday and it isn$$t warm.

Jerry will go home early unless Aaron is in the office or it$$s not sunny.

If neither Aaron nor Bryan is in the office, then if it$$s sunny and warm, it must be Tuesday.