Un ordenador puede concluir a partir del motor de inferencia de Cyc que el agua pudre la comida (al menos en exceso).