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