Se joão mentiu, então ele é culpado, logo: