From: James Edward Gray II <james@...>
Date: 2005-07-05T05:05:30+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

On Jul 4, 2005, at 2:17 PM, Abu Abdullah wrote:

> using the quiz web page as a source for testing. and selecting from  
> the available sample there, i selected the facts *2* , *1* and *6*  
> respectivly.
> and after supplying the *6th* rule, the engine should say *"Sorry,  
> that contradicts what I already know."*

You skipped the rules that makes it a contradiction:

No cats are dogs.  (After:  All cats are mammals.)

James Edward Gray II