there is something such that if it is not ampullar the fact that it is tight or it is not particularistic or both is wrong.
sent1: that something is particularistic if it is not ampullar is not wrong. sent2: there exists something such that if it is not a Sarawakian that either it is a dowry or it is not axiomatic or both is incorrect. sent3: if the taillight is not ampullar then it is particularistic. sent4: that something is tight and/or is not particularistic does not hold if it is non-ampullar. sent5: the fact that something is eolithic and/or is not a Argive is not correct if the fact that it does not lap saskatoon is correct. sent6: there is something such that if it is not ampullar it is tight or not particularistic or both. sent7: that something either is a Panorpidae or is not a sociobiology or both is not correct if it is not a kind of a worthy. sent8: that something is tight and/or it is not particularistic is false if it is ampullar. sent9: the fact that either something is a handicraft or it is not postmeridian or both is not correct if that it does not lap slagheap hold. sent10: that the taillight is tight and/or non-particularistic is not correct if the fact that it is ampullar is not wrong. sent11: there exists something such that if it is ampullar then the fact that it is tight and/or is non-particularistic is incorrect. sent12: if the taillight is not a fogged then the fact that that it is a specimen and/or not a correlate hold is false. sent13: there is something such that if that it is not ampullar is not wrong it is particularistic. sent14: there exists something such that if it is not arenicolous then the fact that it is a kind of a spectacles and/or it does not starve is incorrect. sent15: if something is not ampullar then it either is tight or is not particularistic or both. sent16: either the taillight is tight or it is not particularistic or both if it is not ampullar. sent17: that something is a fizzing and/or it is not a lateen-rig does not hold if it does not whang IDA. sent18: if something does not disrespect PVC that it is either marmorean or not a clothesbrush or both does not hold.
sent4 -> int1: if the taillight is not ampullar that it is not non-tight and/or it is not particularistic is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not ampullar the fact that it is tight or it is not particularistic or both is wrong. ; $context$ = sent1: that something is particularistic if it is not ampullar is not wrong. sent2: there exists something such that if it is not a Sarawakian that either it is a dowry or it is not axiomatic or both is incorrect. sent3: if the taillight is not ampullar then it is particularistic. sent4: that something is tight and/or is not particularistic does not hold if it is non-ampullar. sent5: the fact that something is eolithic and/or is not a Argive is not correct if the fact that it does not lap saskatoon is correct. sent6: there is something such that if it is not ampullar it is tight or not particularistic or both. sent7: that something either is a Panorpidae or is not a sociobiology or both is not correct if it is not a kind of a worthy. sent8: that something is tight and/or it is not particularistic is false if it is ampullar. sent9: the fact that either something is a handicraft or it is not postmeridian or both is not correct if that it does not lap slagheap hold. sent10: that the taillight is tight and/or non-particularistic is not correct if the fact that it is ampullar is not wrong. sent11: there exists something such that if it is ampullar then the fact that it is tight and/or is non-particularistic is incorrect. sent12: if the taillight is not a fogged then the fact that that it is a specimen and/or not a correlate hold is false. sent13: there is something such that if that it is not ampullar is not wrong it is particularistic. sent14: there exists something such that if it is not arenicolous then the fact that it is a kind of a spectacles and/or it does not starve is incorrect. sent15: if something is not ampullar then it either is tight or is not particularistic or both. sent16: either the taillight is tight or it is not particularistic or both if it is not ampullar. sent17: that something is a fizzing and/or it is not a lateen-rig does not hold if it does not whang IDA. sent18: if something does not disrespect PVC that it is either marmorean or not a clothesbrush or both does not hold. ; $proof$ = 
sent4 -> int1: if the taillight is not ampullar that it is not non-tight and/or it is not particularistic is wrong.; int1 -> hypothesis; __PROVED__