Time out after 50 steps. "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ T /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ (((~q || (~q /\\ p /\\ ~~T /\\ ~F /\\ T /\\ ~q)) /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || ((~q || (~q /\\ p /\\ ~~T /\\ ~F /\\ T /\\ ~q)) /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ (((~q || (~q /\\ p /\\ ~~T /\\ ~F /\\ T /\\ ~q)) /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || ((~q || (~q /\\ p /\\ ~~T /\\ ~F /\\ T /\\ ~q)) /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.absorpor "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || ((~q || (~q /\\ p /\\ ~~T /\\ ~F /\\ T /\\ ~q)) /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.absorpor "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.idempand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.idempand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~F /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ ~F) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ ~F)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ ~F))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ ~~(p /\\ ~q) /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ ((T /\\ p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ ((p /\\ T) || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~~T /\\ ~F /\\ ~(q || q) /\\ T /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~~T /\\ ~F /\\ ~(q || q) /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.idempor "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~~T /\\ ~F /\\ ~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~~T /\\ T /\\ ~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~~T /\\ ~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (T /\\ ~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ T /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~F /\\ ~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notfalse "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ T /\\ ~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~~T /\\ ~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (T /\\ ~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ T /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ (((~~T || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ (((T || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.absorpor "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((T /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ q) || (~r /\\ ~~(p /\\ ~q))) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ q) || (~r /\\ p /\\ ~q)) /\\ ~q /\\ p /\\ ~q) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.truezeroand "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ q) || (~r /\\ p /\\ ~q)) /\\ ~q /\\ p /\\ ~q) || ((~~T || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))" => logic.propositional.notnot "p /\\ ((~(F || ~T) /\\ ~F /\\ ~q) || (~~T /\\ ~~(~F /\\ ~q /\\ T /\\ p /\\ ~(q /\\ q)))) /\\ p /\\ ~q /\\ (p || (~q /\\ p /\\ ~q)) /\\ (q || (~q /\\ p /\\ ~q)) /\\ ((~q /\\ ((((p /\\ q) || (~r /\\ p /\\ ~q)) /\\ ~q /\\ p /\\ ~q) || ((T || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~q) || (~q /\\ ((((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ~q /\\ ~~(p /\\ ~q)) || (((~~T /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((T /\\ p /\\ T /\\ q) || (~r /\\ ~~(p /\\ ~q) /\\ T)) /\\ ((~r /\\ ~~(p /\\ ~q /\\ T) /\\ T) || (~r /\\ ~~(p /\\ ~q) /\\ T)))) /\\ ~r /\\ ~~(p /\\ ~q) /\\ T))"