From: Paolo Capriotti <p.capriotti@...>
Date: 2005-07-05T13:38:16+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

On 7/5/05, Daniel Sheppard <daniels@pronto.com.au> wrote:
> My solution is here:
> 
> http://members.iinet.net.au/~soxbox/inference.rb

There are some problems:

> all dogs are mammals
OK.
> all mammals are animals
OK.
> some animals are not mammals
Sorry, that contradicts what I already know.

--
Paolo