Se Ricardo é mais forte que Guto, então Hélio e Fábio têm a mesma força. Se Hélio e Fábio têm a mesma força, então André é mais fraco que Guto. Se André é mais fraco que Guto, então Ricardo é mais forte que Hélio. Ora, Ricardo não é mais forte que Hélio. Logo:
