Fixes IsConsequence function to account for truth tables
of different lengths.