inputs: hypothesis: Ali Al-Timimi is imprisoned in Virginia. premise: Across the Atlantic, on July 13, a radical Islamic cleric named Ali Al-Timimi was sentenced to life in prison, in Virginia, for soliciting treason.