(3,4,5) | (7,8,9)
=== ((3,4),5) | ((7,8),9)
=== (4,5) | ((7,8),9)
=== 5 | ((7,8),9)
=== 5 | (8,9)
=== 5 | 9
=== 13