there exists something such that the fact that it does not gutter wheatear hold.
sent1: the stunner is compatible. sent2: something is a scalar if it is undesirous. sent3: something is not a kind of a marline. sent4: the swathing is compatible. sent5: the isotope is a kind of a Indigofera. sent6: if something is scalar it is a Indigofera. sent7: if the fact that something does gutter wheatear hold that it is apicultural but not unwelcome is not true. sent8: if the isotope is pteridological it is not undesirous. sent9: if the isotope is not a Indigofera then that the warship is not non-scalar is not wrong. sent10: that the isotope does not gutter wheatear hold if it is pteridological. sent11: if the fact that the warship is a scalar but it does not gutter wheatear is false the isotope is a Indigofera. sent12: there exists something such that it gutters wheatear. sent13: the fact that the warship is pteridological and it is a Indigofera is not correct. sent14: the fact that the warship is not non-pteridological but it is not a Indigofera is wrong. sent15: if the warship is a Indigofera the isotope is undesirous. sent16: if something gutters wheatear then that it is not a kind of a scalar hold. sent17: if that the warship is pteridological but not a Indigofera does not hold then the isotope is undesirous. sent18: that the warship does not untune hold.
sent16 -> int1: if the isotope does gutter wheatear it is not a scalar.; void -> assump1: Let's assume that the isotope gutters wheatear.; int1 & assump1 -> int2: the isotope is not scalar.; sent2 -> int3: the isotope is a kind of a scalar if it is undesirous.; sent17 & sent14 -> int4: the isotope is undesirous.; int3 & int4 -> int5: the isotope is scalar.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the isotope does not gutter wheatear.; int7 -> hypothesis;
that the lasso is apicultural and not unwelcome is incorrect.
sent7 -> int8: if the warship gutters wheatear the fact that it is apicultural and it is not unwelcome is incorrect.;
$hypothesis$ = there exists something such that the fact that it does not gutter wheatear hold. ; $context$ = sent1: the stunner is compatible. sent2: something is a scalar if it is undesirous. sent3: something is not a kind of a marline. sent4: the swathing is compatible. sent5: the isotope is a kind of a Indigofera. sent6: if something is scalar it is a Indigofera. sent7: if the fact that something does gutter wheatear hold that it is apicultural but not unwelcome is not true. sent8: if the isotope is pteridological it is not undesirous. sent9: if the isotope is not a Indigofera then that the warship is not non-scalar is not wrong. sent10: that the isotope does not gutter wheatear hold if it is pteridological. sent11: if the fact that the warship is a scalar but it does not gutter wheatear is false the isotope is a Indigofera. sent12: there exists something such that it gutters wheatear. sent13: the fact that the warship is pteridological and it is a Indigofera is not correct. sent14: the fact that the warship is not non-pteridological but it is not a Indigofera is wrong. sent15: if the warship is a Indigofera the isotope is undesirous. sent16: if something gutters wheatear then that it is not a kind of a scalar hold. sent17: if that the warship is pteridological but not a Indigofera does not hold then the isotope is undesirous. sent18: that the warship does not untune hold. ; $proof$ = 
sent16 -> int1: if the isotope does gutter wheatear it is not a scalar.; void -> assump1: Let's assume that the isotope gutters wheatear.; int1 & assump1 -> int2: the isotope is not scalar.; sent2 -> int3: the isotope is a kind of a scalar if it is undesirous.; sent17 & sent14 -> int4: the isotope is undesirous.; int3 & int4 -> int5: the isotope is scalar.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the isotope does not gutter wheatear.; int7 -> hypothesis; __PROVED__