Fig.2 Arguments of Mary's Case 


Conclusions are given to the user as natural language sentences, as in the 
following example. 

    Ken's state [faint_1] and Tom's state [injury1] are similar. Jane de-
    serted Ken, and Bill deserted Tom. Jane did not verify Ken's state 
    [faint_1]. Similary, Bill did not verify Tom's state [injury1]. Jane 
    deserted Ken without intending Ken's death, and Bill deserted Tom 
    without intending Tom's death. It was insisted that Jane deserted 
    Ken by negligence in this case. Therefore, it should be judged that 
    Bill deserted Tom by negligence. 


					- 90 -