'********** conditional deduction 'If robin can fly and has wings then robin is a bird. <(&&, [flying]>, [with-wings]>) ==> bird>>. 'robin can fly. [flying]>. 1 'If robin has wings then robin is a bird ''outputMustContain('< [with-wings]> ==> bird>>. %1.00;0.81%')