Given a premise, retrieve a hypothesis that is entailed by the premise.St. Giles was the church of John Knox, the great Protestant reformer.
There was a well known Protestant reformer named John Knox.
St. Giles was a place all Protestant reformers would avoid.