5.1.out y) ]]> y) => ((y => z) => (x => z))) ]]> x) ]]> y) ]]> y) => ((x => z) => (x => (y ^ z)))) ]]> (x v y)) ]]> (y v x)) ]]> y) => ((z => y) => ((x v z) => y))) ]]> B) ]]> D) ]]> (B ^ D)) ]]> (B v D)) ]]> y) => ((x ^ z) => y)) ]]> y) => ((z ^ x) => y)) ]]> x) => (A => x)) ]]> x) => (C => x)) ]]> (B v x)) ]]> (B v y)) => ((A v x) => (B v y))) ]]> (x v D)) ]]> B) ]]> y) => ((A ^ x) => (B ^ y))) ]]> D) ]]> (B v D)) ]]> (B ^ D)) ]]>