Use the system of derivations to find structures dividing premises from conclusions in the cases below. You will need to use the rule UG+.