Se Huxley briga com Samuel, então Samuel briga com Darwin. Se Samuel briga com Darwin, então Darwin vai ao bar. Se Darwin vai ao bar, então Wallace briga com Darwin. Ora, Wallace não briga com Darwin. Logo,