Una prueba de dos columnas debe comenzar enumerando todas las hipótesis de la deducción, y cada hipótesis se justifica escribiendo la palabra hipótesis en la segunda columna. (Esta es la única regla q...Una prueba de dos columnas debe comenzar enumerando todas las hipótesis de la deducción, y cada hipótesis se justifica escribiendo la palabra hipótesis en la segunda columna. (Esta es la única regla que está permitida por encima de la línea horizontal oscura, y no está permitida por debajo de la línea horizontal oscura). O el Papa está aquí, o la Reina está aquí. O el Papa no está aquí, o la Reina está aquí. Conclusión: O la Reina está aquí, o bien el Registrador y el Papa están los dos aquí.
