Tableaux Algorithm for Reasoning with Contextualized Knowledge