Solution to 3.

3. Mike is small, but Tim is slow.

Doing the groupings first, we get:

(Mike is small), but (Tim is slow).

And clearly the simple statements are:

M = Mike is small.

T = Tim is slow.

And since 'but' is translated as a conjunction, the entire statement is