Boolean Logic on the Basilisk Tree