Paolo Capriotti wrote:

>My solution can be found here:
>http://linuz.sns.it/~capriotti/ruby/inference.rb
>
>Paolo Capriotti
>
>  
>
C:\>inference
 > all dogs are mamals
OK
 > all mamals are hairy animals
OK
 > all mamals are dogs
OK ------------------ ? ? ?