Решение:

a) Доказательство теоремы: Алюминий – твёрдый.

1. По определению, алюминий – это прямой талл.
2. Из аксиомы А₃ следует, что талл твёрдый.
3. Следовательно, алюминий, будучи таллом, является твёрдым.

б) Доказательство теоремы: Сок – жидкий.

1. По определению, сок – это кривой воад.
2. Из аксиомы А₄ следует, что воад жидкий.
3. Следовательно, сок, будучи воадом, является жидким.