Lines Matching full:deduce
1957 // Now try to deduce additional equalities from this one. For example, if
