If (if ducks waddle then 5 is a prime) then (if (either Churchill drinks brandy or ducks waddle) then (either Churchill drinks brandy or 5 is a prime))