Solution to 5.

5. If Kant is right, then if transcendental idealism is correct then both humans have free will and the universe is causally determined.

Let's do the simple statements first. They are:

K = Kant is right.

T = Transcendental idealism is correct.

H = Humans have free will.

C = The universe is causally determined.

Now we substitute these back in:

If K, then if T then both H and C.

Now for the grouping. Clearly the statements joined by the 'both ... and ...' form a conjunction:

If K, then if T then (both H and C).

It might look like the next grouping is:

If (K, then if T) then (both H and C).

But this cant' be right, since 'K then if T' is not well-formed. Furthermore, the comma is giving us a clue that a break in the structure occurs there. A better grouping would therefore be:

If K, then {if T then (both H and C)}

So now we see that the right transaltion is: