premise: Sebastian Vettel has a cat.
hypothesis: The Red Bull RB7 is a Formula One racing car designed by the Red Bull Racing team for the 2011 Formula One season . Sebastian Vettel ( [ zeˈbasti̯an ˈfɛtl̩ ] ; born 3 July 1987 ) is a German racing driver currently driving in Formula One for Scuderia Ferrari . He is a four-time Formula One World Champion , having won the championship in , , and with Red Bull Racing . Since he is one of only four drivers to have won four or more drivers ' titles , he is among the most successful F1 drivers of all time . Vettel started his career in Formula One as a test driver for BMW Sauber and made his debut with the team at the 2007 United States Grand Prix , replacing the injured Robert Kubica .