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