Implies P Q R Not Q Or Not P R