the Salvadoran does not shrink.
sent1: the Salvadoran does not shrink if the afferent is both armorial and a microvolt. sent2: something is not an editor but apsidal if it does not hypothecate endoparasite. sent3: the lab abuses. sent4: if the Pompadour is not a kind of a fade then it is not a kanamycin and it is a bier. sent5: if something is apsidal it does foreshow Mergus or is not a kind of a kanamycin or both. sent6: the icing is a bier if the fact that it fades hold. sent7: if the icing is a bier the Pompadour is not a kind of a bier and it does not foreshow Lombardy. sent8: the fact that the afferent hypothecates endoparasite is not wrong if it is a kind of non-apsidal thing that does foreshow Lombardy. sent9: the afferent is armorial if the Pompadour foreshows Mergus. sent10: the afferent is not apsidal but it does foreshow Lombardy. sent11: if the Pompadour is not a kind of a bier and does not foreshow Lombardy then it does not hypothecate endoparasite. sent12: the lab is a microvolt if it is an abused. sent13: that if there is something such that it hypothecates endoparasite then that the Pompadour is a bier and is not a fade is not true is true. sent14: the icing is a fade. sent15: if the Pompadour is not a kind of a kanamycin then the afferent is armorial. sent16: the Pompadour does not scramble dogsbody.
sent6 & sent14 -> int1: the icing is a bier.; int1 & sent7 -> int2: the Pompadour is not a kind of a bier and it does not foreshow Lombardy.; int2 & sent11 -> int3: the Pompadour does not hypothecate endoparasite.; sent2 -> int4: if the Pompadour does not hypothecate endoparasite it is not an editor and it is apsidal.; int3 & int4 -> int5: the Pompadour is not a kind of an editor and is apsidal.; int5 -> int6: the Pompadour is apsidal.; sent5 -> int7: the Pompadour foreshows Mergus or it is not a kind of a kanamycin or both if it is apsidal.; int6 & int7 -> int8: the Pompadour foreshows Mergus and/or it is not a kanamycin.; int8 & sent9 & sent15 -> int9: the afferent is armorial.; sent12 & sent3 -> int10: the lab is a kind of a microvolt.;
the Salvadoran does shrink.
sent8 & sent10 -> int11: the afferent hypothecates endoparasite.; int11 -> int12: there is something such that it hypothecates endoparasite.; int12 & sent13 -> int13: the fact that that the Pompadour is a kind of a bier that does not fade is incorrect is right.;
$hypothesis$ = the Salvadoran does not shrink. ; $context$ = sent1: the Salvadoran does not shrink if the afferent is both armorial and a microvolt. sent2: something is not an editor but apsidal if it does not hypothecate endoparasite. sent3: the lab abuses. sent4: if the Pompadour is not a kind of a fade then it is not a kanamycin and it is a bier. sent5: if something is apsidal it does foreshow Mergus or is not a kind of a kanamycin or both. sent6: the icing is a bier if the fact that it fades hold. sent7: if the icing is a bier the Pompadour is not a kind of a bier and it does not foreshow Lombardy. sent8: the fact that the afferent hypothecates endoparasite is not wrong if it is a kind of non-apsidal thing that does foreshow Lombardy. sent9: the afferent is armorial if the Pompadour foreshows Mergus. sent10: the afferent is not apsidal but it does foreshow Lombardy. sent11: if the Pompadour is not a kind of a bier and does not foreshow Lombardy then it does not hypothecate endoparasite. sent12: the lab is a microvolt if it is an abused. sent13: that if there is something such that it hypothecates endoparasite then that the Pompadour is a bier and is not a fade is not true is true. sent14: the icing is a fade. sent15: if the Pompadour is not a kind of a kanamycin then the afferent is armorial. sent16: the Pompadour does not scramble dogsbody. ; $proof$ = 
sent6 & sent14 -> int1: the icing is a bier.; int1 & sent7 -> int2: the Pompadour is not a kind of a bier and it does not foreshow Lombardy.; int2 & sent11 -> int3: the Pompadour does not hypothecate endoparasite.; sent2 -> int4: if the Pompadour does not hypothecate endoparasite it is not an editor and it is apsidal.; int3 & int4 -> int5: the Pompadour is not a kind of an editor and is apsidal.; int5 -> int6: the Pompadour is apsidal.; sent5 -> int7: the Pompadour foreshows Mergus or it is not a kind of a kanamycin or both if it is apsidal.; int6 & int7 -> int8: the Pompadour foreshows Mergus and/or it is not a kanamycin.; int8 & sent9 & sent15 -> int9: the afferent is armorial.; sent12 & sent3 -> int10: the lab is a kind of a microvolt.; __UNKNOWN__