language proof and logic Q 6.11

for the one who asks for to make the question clearer:

if p is true..

and q is true

and (~p s q) is true

then, prove s is true.

F Fitch: Exercise 6.11 File Edit Proof Goal Window Help 2 Blods! Pets Set Arith Tet Cube Dodec Small Medium Large SameSi20 LeftOf Rightof FrontOf Backof SameCol SameRow Between Adjoins Sa a b c d e f Dodec(e) O Smal(e) o-Dodec(e) v Dodec(f) v Smae) Goals Dodec(f)