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