3.3.out y) => ((z => x) => (z => y)) = 1 ]]> x = 1 ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> z = x -> (y -> z) ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> 1 = 1 ]]> y) -> (x -> z) = x -> (y -> z) ]]> (y -> z) = y -> (x -> z) ]]> (x -> y) = x -> y ]]> y) => y) = x ]]> ~ (x -> y) = x -> ~ y ]]> y) -> z = x -> (~ y -> z) ]]> y != 1 ]]> x != 1 ]]> y = 1 ]]> y = 1 ]]> ~ y = y => x ]]> y) ^ y = y ]]> (x => y) = x -> y ]]> c2) => ((c3 => c1) => (c3 => c2)) != 1 ]]> (~ y -> z) = ~ (x v y) -> z ]]> (y -> z)) ^ (x -> (~ z -> ~ y)) = x -> (y => z) ]]> (y -> y) = 1 ]]> (y -> z)) ^ (~ (x -> z) -> ~ y) = y => (x -> z) ]]> y) => y) ^ z) = x ^ z ]]> z = 1 ]]> x = 1 ]]> x) = x ]]> (x => y) = x => (x -> y) ]]> x) = y => x ]]> y) v (x -> (z ^ y)) = x -> y ]]> (y v x) = 1 ]]> (y -> x) = 1 ]]> y) => (x -> y) = 1 ]]> (y => x) = 1 ]]> ~ (y ^ x) = 1 ]]> (z v y) = 1 ]]> (x -> y)) => (x -> y) = 1 ]]> (y -> ~ (z ^ x)) = y -> 1 ]]> (x -> y) = x -> y ]]> (x => y) = x -> y ]]> ~ (x -> y) = x -> ~ (x => y) ]]> (y => x) = ~ x -> ~ y ]]> (~ (y => x) -> z) = ~ (~ x -> ~ y) -> z ]]> ((x => z) => z)) = x ^ ((x => z) => z) ]]> (y -> ~ (z ^ x)) = 1 ]]> ~ (x => y) = x -> ~ y ]]> ~ (x => ~ y) = x -> y ]]> (~ ~ (x => y) -> z) = ~ (x -> ~ y) -> z ]]> ~ (y => x) = ~ x -> y ]]> ((x => z) => z)) = x ]]> y) -> y) = x ]]> (y v ((x => z) -> z)) = 1 ]]> ((x => (y ^ z)) -> z) = 1 ]]> (~ ~ (x => y) -> z) = x -> (~ ~ y -> z) ]]> (~ ~ (x => y) -> z) = x -> (y -> z) ]]> ((x => y) -> z) = x -> (y -> z) ]]> (~ (y => x) -> z) = ~ x -> (~ ~ y -> z) ]]> (~ (y => x) -> z) = ~ x -> (y -> z) ]]> x)) -> z = ~ x -> (y -> z) ]]> y) -> z = ~ y -> (x -> z) ]]> y) -> z = x -> (~ y -> z) ]]> (y -> z)) ^ (x -> (~ z -> ~ y)) = y => (x -> z) ]]> (y => z) = y => (x -> z) ]]> (y -> z)) ^ (~ (x => z) -> ~ y) = y => (x => z) ]]> (y ^ z)) -> (x => z) = 1 ]]> y) -> ~ (x => (z ^ y))) = (x => (z ^ y)) => (x => y) ]]> (y -> z)) ^ (x -> (~ z -> ~ y)) = y => (x => z) ]]> (y => (z -> u))) ^ (x -> (~ (y => u) -> ~ z)) = z => (x => (y => u)) ]]> (y -> ~ (y => (z ^ x)))) = (y => (z ^ x)) => (y => x) ]]> (y ^ z)) => (x => z) = 1 ^ (~ z -> (x -> ~ (y ^ z))) ]]> (y ^ z)) => (x => z) = 1 ^ 1 ]]> (y ^ z)) => (x => z) = 1 ]]> y) => (x => ((y => z) -> z)) = 1 ]]> (y => (z -> u))) ^ (x -> (y -> (~ u -> ~ z))) = z => (x => (y => u)) ]]> y) -> (x -> (~ z -> ~ (y => z)))) = (y => z) => ((x => y) => (x => z)) ]]> y) => ((z => x) => (z => y)) = 1 ^ ((z => x) -> (z -> (~ y -> x))) ]]> y) => ((z => x) => (z => y)) = 1 ^ (z -> ((z => x) -> (~ y -> x))) ]]> y) => ((z => x) => (z => y)) = 1 ^ (z -> (x -> (~ y -> x))) ]]> y) => ((z => x) => (z => y)) = 1 ^ (z -> 1) ]]> 1) = 1 ]]> y) => ((z => x) => (z => y)) = 1 ]]>