inference procedures 1

Was doing an assignment and ran into trouble with this problem, seeking a full solution