IBM Bob Hackathon team: team hypothetical_syllogism