Logikkresonerende Systemer øving 4