例えば、
「四角形ａの角１と角２は６０度で、辺１の長さは５、 辺２の長さは７」
とします。すると、この事実は、 Quixote では OHP の最初の四角の中のように表されます。

これに対して、 「四角形ａの形は？」 と 問いたくなったとすると、 Quixote では、２番目の四角の中のように 表されます。

そして、これらに対する答えは、最後の四角の中のものが返されます。 これは、 「角２と角４の大きさが同じなら、平行四辺形で ある」 を意味します。

気づかれた方もいらっしゃると思いますが、答の IF の部分は仮定です。 Quixote では、データベースにない知識を仮定として返します。 つまり、答から、データベースは「角２と角４の大きさが同じかどうか 知らない」ことが分かります。