Reasoning About Mutable Rule Sets - Simulation UI - MEng Final Year Project