¿Sabéis de alguna web o software (Win/Linux, igual da) que haga deducciones naturales en lógica de primer orden indicando los pasos que ha realizado y en lo que se ha basado (MP, IC, ID...)?

Grazie mile