種々の問題形式について、オイラー図を用いたヘテロジニアス推論について検討する。とくに比較のために本システムにおけるオイラー図を使わない推論、すなわち文・論理式のみを用いた自然演繹推論も検討する。これにより、オイラー図を用いたヘテロジニアス推論の特徴を分析する。