[rules-users] Re-insert modified instance of same fact and Truth maintenance