A\land\lnot B\land\lnot C\Rightarrow\bot