that the mid-calf is not incompatible and it does not bind appointment is false.
sent1: if the ultramicroscope is not an election then it is not karyokinetic. sent2: if a refinisher is not a perigee it is not incompatible. sent3: if the yogurt is a refinisher the appointment is a perigee. sent4: the ultramicroscope is not a kind of an election. sent5: that the mid-calf is incompatible but it does not bind appointment does not hold. sent6: the fact that the mid-calf binds appointment and is not karyokinetic does not hold if the ultramicroscope is an election. sent7: that the yogurt is not a kind of a refinisher but it is a kind of an election is wrong if the ultramicroscope is karyokinetic. sent8: the modillion is not an election but it is karyokinetic if it is not a refinisher. sent9: if the mid-calf is a fartlek it is a refinisher and is not a perigee. sent10: if the modillion does not bind appointment then it is incompatible and is not a kind of a refinisher. sent11: the fact that the fact that the mid-calf is a kind of congenial thing that does not bind appointment is wrong is not false if the appointment is a perigee. sent12: the yogurt is a refinisher if the ultramicroscope is not karyokinetic. sent13: something that is not an election is a perigee. sent14: that the biochemist is incompatible hold.
sent1 & sent4 -> int1: the ultramicroscope is not karyokinetic.; sent12 & int1 -> int2: the yogurt is a refinisher.; sent3 & int2 -> int3: the appointment is a perigee.; sent11 & int3 -> hypothesis;
the mid-calf is not incompatible and it does not bind appointment.
sent2 -> int4: the mid-calf is not incompatible if it is a kind of a refinisher and it is not a perigee.;
$hypothesis$ = that the mid-calf is not incompatible and it does not bind appointment is false. ; $context$ = sent1: if the ultramicroscope is not an election then it is not karyokinetic. sent2: if a refinisher is not a perigee it is not incompatible. sent3: if the yogurt is a refinisher the appointment is a perigee. sent4: the ultramicroscope is not a kind of an election. sent5: that the mid-calf is incompatible but it does not bind appointment does not hold. sent6: the fact that the mid-calf binds appointment and is not karyokinetic does not hold if the ultramicroscope is an election. sent7: that the yogurt is not a kind of a refinisher but it is a kind of an election is wrong if the ultramicroscope is karyokinetic. sent8: the modillion is not an election but it is karyokinetic if it is not a refinisher. sent9: if the mid-calf is a fartlek it is a refinisher and is not a perigee. sent10: if the modillion does not bind appointment then it is incompatible and is not a kind of a refinisher. sent11: the fact that the fact that the mid-calf is a kind of congenial thing that does not bind appointment is wrong is not false if the appointment is a perigee. sent12: the yogurt is a refinisher if the ultramicroscope is not karyokinetic. sent13: something that is not an election is a perigee. sent14: that the biochemist is incompatible hold. ; $proof$ = 
sent1 & sent4 -> int1: the ultramicroscope is not karyokinetic.; sent12 & int1 -> int2: the yogurt is a refinisher.; sent3 & int2 -> int3: the appointment is a perigee.; sent11 & int3 -> hypothesis; __PROVED__