Tyre Logic Analysis