P ^ Q ==> R