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