Disclaimers on FORTISYT. An active learning environment with a symphonic blend of logic and reasoning orc.