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