that the wormcast does not gin Gerreidae and it is not hydrodynamic is not true.
sent1: the lats does stare bract and is a Dictamnus if the butt does not gin Gerreidae. sent2: the butt stares bract. sent3: if there exists something such that the fact that it is both appealable and not alliaceous is wrong then the icon cheerleads. sent4: the butt does not stare bract if the Tsimshian is not an abomination and/or is not maleficent. sent5: if the butt does not stare bract then the wormcast is not hydrodynamic. sent6: if something is a kind of a Zurich then that it is catechismal is not wrong. sent7: something is not non-hydrodynamic if it is an abomination. sent8: if something is off it is not a kind of an abomination or it is not maleficent or both. sent9: something does not gin Gerreidae if that it is not a Dictamnus and does gin Gerreidae does not hold. sent10: if that the Tsimshian is not off but it does solidify is not right it is off. sent11: the joystick is a steamroller. sent12: that everything is a Zurich and/or it disowns sloth is correct. sent13: the fact that the wormcast is not a Dictamnus but it does gin Gerreidae is wrong if the icon does cheerlead. sent14: that something is appealable but it is not alliaceous does not hold if it does steamroller. sent15: if the wormcast is hydrodynamic then the fact that the butt is not a Dictamnus and does not gin Gerreidae is not correct. sent16: the fact that something is non-off and does solidify is not true if it is catechismal. sent17: the butt is a Dictamnus and it stares bract.
sent17 -> int1: the butt is a Dictamnus.;
that the lats stares bract is not incorrect.
sent7 -> int2: the wormcast is hydrodynamic if it is an abomination.;
$hypothesis$ = that the wormcast does not gin Gerreidae and it is not hydrodynamic is not true. ; $context$ = sent1: the lats does stare bract and is a Dictamnus if the butt does not gin Gerreidae. sent2: the butt stares bract. sent3: if there exists something such that the fact that it is both appealable and not alliaceous is wrong then the icon cheerleads. sent4: the butt does not stare bract if the Tsimshian is not an abomination and/or is not maleficent. sent5: if the butt does not stare bract then the wormcast is not hydrodynamic. sent6: if something is a kind of a Zurich then that it is catechismal is not wrong. sent7: something is not non-hydrodynamic if it is an abomination. sent8: if something is off it is not a kind of an abomination or it is not maleficent or both. sent9: something does not gin Gerreidae if that it is not a Dictamnus and does gin Gerreidae does not hold. sent10: if that the Tsimshian is not off but it does solidify is not right it is off. sent11: the joystick is a steamroller. sent12: that everything is a Zurich and/or it disowns sloth is correct. sent13: the fact that the wormcast is not a Dictamnus but it does gin Gerreidae is wrong if the icon does cheerlead. sent14: that something is appealable but it is not alliaceous does not hold if it does steamroller. sent15: if the wormcast is hydrodynamic then the fact that the butt is not a Dictamnus and does not gin Gerreidae is not correct. sent16: the fact that something is non-off and does solidify is not true if it is catechismal. sent17: the butt is a Dictamnus and it stares bract. ; $proof$ = 
sent17 -> int1: the butt is a Dictamnus.; __UNKNOWN__