that there exists something such that it is not an arm does not hold.
sent1: there exists something such that it is not a oilstone. sent2: that the veteran factorizes night-line and it broils is incorrect. sent3: the veteran is not jawless. sent4: there is nothing such that it does not factorize night-line and it is a kind of a broil. sent5: something is not a comprehensive if the fact that it does not circle Porzana and it is a nucleon does not hold. sent6: if something factorizes night-line then it is not an arm. sent7: the fact that the veteran does not circle Porzana is right. sent8: something is not a kind of an arm if that it does not factorize night-line and it is a broil is false. sent9: if the veteran does factorize night-line it is not a kind of an arm. sent10: there exists something such that it is not a Aramus. sent11: there exists nothing such that the fact that it does factorize night-line and it broils is not false. sent12: the veteran does not indemnify if that it is not tearful and it is awkward is incorrect.
sent4 -> int1: that the veteran does not factorize night-line but it is a broil does not hold.; sent8 -> int2: if that the veteran does not factorize night-line and broils is wrong then the fact that it does not arm is not wrong.; int1 & int2 -> int3: the veteran is not an arm.; int3 -> hypothesis;
$hypothesis$ = that there exists something such that it is not an arm does not hold. ; $context$ = sent1: there exists something such that it is not a oilstone. sent2: that the veteran factorizes night-line and it broils is incorrect. sent3: the veteran is not jawless. sent4: there is nothing such that it does not factorize night-line and it is a kind of a broil. sent5: something is not a comprehensive if the fact that it does not circle Porzana and it is a nucleon does not hold. sent6: if something factorizes night-line then it is not an arm. sent7: the fact that the veteran does not circle Porzana is right. sent8: something is not a kind of an arm if that it does not factorize night-line and it is a broil is false. sent9: if the veteran does factorize night-line it is not a kind of an arm. sent10: there exists something such that it is not a Aramus. sent11: there exists nothing such that the fact that it does factorize night-line and it broils is not false. sent12: the veteran does not indemnify if that it is not tearful and it is awkward is incorrect. ; $proof$ = 
sent4 -> int1: that the veteran does not factorize night-line but it is a broil does not hold.; sent8 -> int2: if that the veteran does not factorize night-line and broils is wrong then the fact that it does not arm is not wrong.; int1 & int2 -> int3: the veteran is not an arm.; int3 -> hypothesis; __DISPROVED__