Construction of Varifiable Expert Systems