claim !P:(set set set) prop.!Q:(set set set) prop.(?g:set set set.P g & Q g) -> !R:prop.(!g:set set set.P g -> Q g -> R) -> R