natural_abduction
