∀x (DeadlyDiseases(x) → ComeWith(x, lowSurvivalRate))
∀x (SevereCancer(x) → DeadlyDiseases(x))
∀x (BileDuctCancer(x) → SevereCancer(x))
∀x (Cholangiocarcinoma(x) → BileDuctCancer(x))
∀x (MildFlu(x) → ¬ComeWith(x, lowSurvivalRate)) 
¬(BileDuctCancer(colorectalCancer) ∧ ComeWith(colorectalCancer, lowSurvivalRate))
Cholangiocarcinoma(colorectalCancer) ∧ (MildFlu(colorectalCancer) ∨ BileDuctCancer(colorectalCancer))