the solvent is a Gainesville.
sent1: that something does not belt is not wrong if it cascades fragility. sent2: that something does cascade fragility and it is a ND is wrong if it is not a kind of a belt. sent3: the diskette is a Gainesville. sent4: the milkman is a Gainesville. sent5: the Junkers is Methodists. sent6: a belt is not a kind of a ND. sent7: if something is a ND it is not Methodists. sent8: if the Junkers is not faceless and does not confederate nursed it does not belt. sent9: the solvent is a ND if the salsa is a Gainesville. sent10: the Junkers is a Gainesville. sent11: if the Junkers is not a belt the milkman is not non-Methodists. sent12: the salsa is gingival. sent13: if the milkman is not a kind of a belt then the solvent is a kind of a Gainesville. sent14: if the Junkers is a kind of a Methodists the salsa is a ND. sent15: the solvent is not a Gainesville if the Junkers is not a Methodists. sent16: if the salsa is a kind of a ND then the milkman does cascade fragility.
sent14 & sent5 -> int1: the salsa is a ND.; int1 & sent16 -> int2: the fact that the milkman does cascade fragility is right.; sent1 -> int3: if the milkman does cascade fragility then it is not a kind of a belt.; int2 & int3 -> int4: the milkman does not belt.; int4 & sent13 -> hypothesis;
the solvent is not a Gainesville.
sent2 -> int5: if that the Junkers is not a belt is true then that it cascades fragility and is a ND does not hold.;
$hypothesis$ = the solvent is a Gainesville. ; $context$ = sent1: that something does not belt is not wrong if it cascades fragility. sent2: that something does cascade fragility and it is a ND is wrong if it is not a kind of a belt. sent3: the diskette is a Gainesville. sent4: the milkman is a Gainesville. sent5: the Junkers is Methodists. sent6: a belt is not a kind of a ND. sent7: if something is a ND it is not Methodists. sent8: if the Junkers is not faceless and does not confederate nursed it does not belt. sent9: the solvent is a ND if the salsa is a Gainesville. sent10: the Junkers is a Gainesville. sent11: if the Junkers is not a belt the milkman is not non-Methodists. sent12: the salsa is gingival. sent13: if the milkman is not a kind of a belt then the solvent is a kind of a Gainesville. sent14: if the Junkers is a kind of a Methodists the salsa is a ND. sent15: the solvent is not a Gainesville if the Junkers is not a Methodists. sent16: if the salsa is a kind of a ND then the milkman does cascade fragility. ; $proof$ = 
sent14 & sent5 -> int1: the salsa is a ND.; int1 & sent16 -> int2: the fact that the milkman does cascade fragility is right.; sent1 -> int3: if the milkman does cascade fragility then it is not a kind of a belt.; int2 & int3 -> int4: the milkman does not belt.; int4 & sent13 -> hypothesis; __PROVED__