The goal of the CLARRHMOS system is to build inside the computer a representation of the clinical model--a computer clinical model--in which the fact that, under reasonable quantitative parameters, the assumed behaviour--which explains the electrocardiogram--will actually take place.
Let us emphasize that the goal of the CLARRHMOS is to represent the explanation of the clinician in order to see if it does theoretically lead to the observed electrocardiographic behaviour. CLARRHMOS does not represent the real pathological changes in the heart, which are unknown--the clinician has the electrocardiogram and tries to infer what the pathological changes might be, though he/she has some clues from other investigations--nor does it try to represent the way in which pathological changes actually lead to the ECG, as these way are also unknown, but to represent the currently accepted theories on that link.
Thus, if a CLARRHMOS model is built which actually leads to the expected electrocardiogram, this means that, under the currently accepted theories on ECG signal genesis, the pathological constellation implied by the model would lead to the observed ECG. It does not mean that the assumed pathological changes actually take place in the given patient.
Nevertheless, while CLARRHMOS cannot proove wheather a given explanation is valid for the observed ECG, it can proove wheather a given explanation is not valid and would not lead to the observed ECG even in theory.