Reasoning based on given statements