'********** variable elimination 'Something is a animal if and only if it is a bird. <<$x --> animal> <=> <$x --> bird>>. 'A robin is a bird. bird>. 3 'A robin is a animal. ''outputMustContain(' animal>. %1.00;0.81%')