ContentFull

Let P=“X studied for 3 days straight”.
Let Q=“X went out on a saturday night”.
Let R=“X has a life (a geeky one)”.

(P(Andre) and Q(Andre)) -> R(Andre)