An experimental program, QREM, is implemented using the inference mechanism of the MVL Theorem Prover System of Ginsberg. QREM uses Forbus' Qualitative Process Theory for its description of physical situations and constructs the interpretations of measurements, In this paper, we mainly concentrate on the representation of process descriptions and basic deductions, and give some idea about what MVL can provide for writing qualitative physics programs.