1 2 3 4 5 6 7 8 9 10 11
(=> (bor $x (bor $x $y)) (bor $x $y)) (=> (bor $y (bor $x $y)) (bor $x $y)) (=> (bor (bor $x $y) $x) (bor $x $y)) (=> (bor (bor $x $y) $y) (bor $x $y))