there is something such that it is not a kind of a sureness.
sent1: if something does not underquote restoration then that it does not cloy cakewalk and approbates butt-welding does not hold. sent2: if there exists something such that it is not a kind of a Fonda then that the insufflation does not cloy cakewalk and does approbate butt-welding is not correct. sent3: that the insufflation cloys whiting does not hold. sent4: if something is not a Fonda then the fact that the insufflation does not cloy cakewalk and does not approbate butt-welding is wrong. sent5: the Mansi does not vent. sent6: if something is not a sureness that it does not underquote restoration is right. sent7: that if either the insufflation does cloy cakewalk or it is a sureness or both then the Mansi does not underquote restoration is correct. sent8: something is not a Fonda. sent9: the insufflation is not a sureness if either it approbates molarity or it is a kind of a photoelectron or both. sent10: the fact that the insufflation does not cloy cakewalk and does approbate butt-welding is not true. sent11: that the insufflation does cloy cakewalk and does not approbate butt-welding is not right. sent12: there exists something such that it is a kind of a Fonda. sent13: if there exists something such that it is not a Fonda then that the insufflation cloys cakewalk but it does not approbate butt-welding is false. sent14: the bow is a abience if the fact that it is not a sureness and it is not a Monera is not true. sent15: the insufflation does underquote restoration if the fact that it does not cloy cakewalk and does not approbate butt-welding is not true. sent16: if something is not a Fonda the fact that it is not a virginal and is not alpine is incorrect.
sent8 & sent4 -> int1: that the insufflation does not cloy cakewalk and it does not approbate butt-welding is wrong.; int1 & sent15 -> int2: the insufflation underquotes restoration.; int2 -> int3: the insufflation does underquote restoration and/or it is alpine.;
that the restoration is non-virginal but not alpine does not hold.
sent16 -> int4: if the restoration is not a Fonda then that it is both not a virginal and not alpine is wrong.; sent1 -> int5: the fact that the insufflation does not cloy cakewalk and approbates butt-welding is false if it does not underquote restoration.; sent6 -> int6: the insufflation does not underquote restoration if it is not a kind of a sureness.;
$hypothesis$ = there is something such that it is not a kind of a sureness. ; $context$ = sent1: if something does not underquote restoration then that it does not cloy cakewalk and approbates butt-welding does not hold. sent2: if there exists something such that it is not a kind of a Fonda then that the insufflation does not cloy cakewalk and does approbate butt-welding is not correct. sent3: that the insufflation cloys whiting does not hold. sent4: if something is not a Fonda then the fact that the insufflation does not cloy cakewalk and does not approbate butt-welding is wrong. sent5: the Mansi does not vent. sent6: if something is not a sureness that it does not underquote restoration is right. sent7: that if either the insufflation does cloy cakewalk or it is a sureness or both then the Mansi does not underquote restoration is correct. sent8: something is not a Fonda. sent9: the insufflation is not a sureness if either it approbates molarity or it is a kind of a photoelectron or both. sent10: the fact that the insufflation does not cloy cakewalk and does approbate butt-welding is not true. sent11: that the insufflation does cloy cakewalk and does not approbate butt-welding is not right. sent12: there exists something such that it is a kind of a Fonda. sent13: if there exists something such that it is not a Fonda then that the insufflation cloys cakewalk but it does not approbate butt-welding is false. sent14: the bow is a abience if the fact that it is not a sureness and it is not a Monera is not true. sent15: the insufflation does underquote restoration if the fact that it does not cloy cakewalk and does not approbate butt-welding is not true. sent16: if something is not a Fonda the fact that it is not a virginal and is not alpine is incorrect. ; $proof$ = 
sent8 & sent4 -> int1: that the insufflation does not cloy cakewalk and it does not approbate butt-welding is wrong.; int1 & sent15 -> int2: the insufflation underquotes restoration.; int2 -> int3: the insufflation does underquote restoration and/or it is alpine.; __UNKNOWN__