Agregadas algunas reglas del consecuente
Faltan negados