the icicle is nonpregnant.
sent1: there exists something such that it is a kind of a mass. sent2: if the fact that the desperate is not a Stalin hold the tyrothricin is a Stalin. sent3: the porthole is not a mass if that the desperate does not indurate but it is a fanion is not right. sent4: the porthole is both not an invalid and a Eisenhower. sent5: the desperate is a Eisenhower. sent6: something is not a Eisenhower. sent7: if there is something such that it does not quiver and it does mass the spitz is not a kind of a fanion. sent8: the porthole is not an invalid and is nonpregnant. sent9: if the fact that something is not a Stalin and it is not a quiver does not hold it is pregnant. sent10: if that the desperate is not a kind of a Stalin is not false the tyrothricin is not a quiver but a mass. sent11: the fact that the icicle is nonpregnant and is a fanion if the spitz is not a kind of a fanion hold. sent12: the spitz is not a kind of a mass if the tyrothricin is not nonpregnant but a fanion. sent13: if the porthole does not invalid and is a kind of a Eisenhower then the desperate is not a Stalin. sent14: if something that is not a kind of a Eisenhower is a kind of a Stalin then the desperate is not a kind of a fanion. sent15: there is something such that it is both not a Eisenhower and a fanion. sent16: the desperate is a quiver. sent17: there exists something such that it is a kind of an invalid.
sent13 & sent4 -> int1: the desperate is not a Stalin.; sent10 & int1 -> int2: the tyrothricin does not quiver but it masses.; int2 -> int3: something is not a quiver but a mass.; int3 & sent7 -> int4: the spitz is not a fanion.; sent11 & int4 -> int5: the icicle is nonpregnant thing that is a fanion.; int5 -> hypothesis;
the fact that the icicle is not nonpregnant is not false.
sent9 -> int6: the icicle is not nonpregnant if that it is not a Stalin and it does not quiver is wrong.;
$hypothesis$ = the icicle is nonpregnant. ; $context$ = sent1: there exists something such that it is a kind of a mass. sent2: if the fact that the desperate is not a Stalin hold the tyrothricin is a Stalin. sent3: the porthole is not a mass if that the desperate does not indurate but it is a fanion is not right. sent4: the porthole is both not an invalid and a Eisenhower. sent5: the desperate is a Eisenhower. sent6: something is not a Eisenhower. sent7: if there is something such that it does not quiver and it does mass the spitz is not a kind of a fanion. sent8: the porthole is not an invalid and is nonpregnant. sent9: if the fact that something is not a Stalin and it is not a quiver does not hold it is pregnant. sent10: if that the desperate is not a kind of a Stalin is not false the tyrothricin is not a quiver but a mass. sent11: the fact that the icicle is nonpregnant and is a fanion if the spitz is not a kind of a fanion hold. sent12: the spitz is not a kind of a mass if the tyrothricin is not nonpregnant but a fanion. sent13: if the porthole does not invalid and is a kind of a Eisenhower then the desperate is not a Stalin. sent14: if something that is not a kind of a Eisenhower is a kind of a Stalin then the desperate is not a kind of a fanion. sent15: there is something such that it is both not a Eisenhower and a fanion. sent16: the desperate is a quiver. sent17: there exists something such that it is a kind of an invalid. ; $proof$ = 
sent13 & sent4 -> int1: the desperate is not a Stalin.; sent10 & int1 -> int2: the tyrothricin does not quiver but it masses.; int2 -> int3: something is not a quiver but a mass.; int3 & sent7 -> int4: the spitz is not a fanion.; sent11 & int4 -> int5: the icicle is nonpregnant thing that is a fanion.; int5 -> hypothesis; __PROVED__