Besonderhede van voorbeeld: 8436772745554263291

English

Steps 4, 5, and 6 are justified by rules of inference applied to previous lines.

Spanish

Los pasos 4, 5 Y 6 están justificados por reglas de inferencia aplicadas a líneas anteriores.