'********** conditional abduction 'If robin can fly and it has wings, then robin is living. <(&&, [flying]>, [with-wings]>) ==> [living]>>. %0.9% 'If robin can fly and robin is a bird then robin is living. <(&&, [flying]>, bird>) ==> [living]>>. 18 'I guess if robin is a bird, then robin has wings. ''outputMustContain('< bird> ==> [with-wings]>>. %1.00;0.42%') 'I guess if robin has wings, then robin is a bird. ''outputMustContain('< [with-wings]> ==> bird>>. %0.90;0.45%')