either the nitrobenzene is not an excitement or it does not quieten or both.
sent1: the fact that something is not a kind of an excitement or it does not quieten or both does not hold if it does not chock startling. sent2: the nitrobenzene is a kind of an excitement and/or does not quieten. sent3: the fact that the interstate is a synthetism and does flesh Ajaia is not right if it is not an epithet. sent4: something does not chock startling and/or it is not an epithet if it does not flesh Ajaia. sent5: the nitrobenzene either is not an excitement or quietens or both if the interstate is not an excitement. sent6: if the fact that the interstate is a synthetism and it does flesh Ajaia does not hold then the fact that it is not an excitement is true. sent7: there exists something such that the fact that it does not chock startling and is a Jacobi does not hold. sent8: the fact that the interstate chocks startling hold if there is something such that the fact that it does not chocks startling and is a Jacobi is not correct. sent9: something is not an epithet if it chocks startling. sent10: either the interstate is not hermeneutic or it is not limbed or both. sent11: the nitrobenzene is not an excitement and/or it does not quieten if the interstate is not an excitement.
sent9 -> int1: the interstate is not a kind of an epithet if it chocks startling.; sent7 & sent8 -> int2: the interstate does chock startling.; int1 & int2 -> int3: the interstate is not a kind of an epithet.; int3 & sent3 -> int4: that the interstate is a synthetism and it does flesh Ajaia is not right.; int4 & sent6 -> int5: that the interstate is not an excitement is correct.; int5 & sent11 -> hypothesis;
the fact that the nitrobenzene is not a kind of an excitement and/or it does not quieten is not right.
sent1 -> int6: if the metacarpal does not chock startling then that it is not a kind of an excitement and/or it does not quieten does not hold.; sent4 -> int7: the metacarpal does not chock startling and/or it is not an epithet if it does not flesh Ajaia.;
$hypothesis$ = either the nitrobenzene is not an excitement or it does not quieten or both. ; $context$ = sent1: the fact that something is not a kind of an excitement or it does not quieten or both does not hold if it does not chock startling. sent2: the nitrobenzene is a kind of an excitement and/or does not quieten. sent3: the fact that the interstate is a synthetism and does flesh Ajaia is not right if it is not an epithet. sent4: something does not chock startling and/or it is not an epithet if it does not flesh Ajaia. sent5: the nitrobenzene either is not an excitement or quietens or both if the interstate is not an excitement. sent6: if the fact that the interstate is a synthetism and it does flesh Ajaia does not hold then the fact that it is not an excitement is true. sent7: there exists something such that the fact that it does not chock startling and is a Jacobi does not hold. sent8: the fact that the interstate chocks startling hold if there is something such that the fact that it does not chocks startling and is a Jacobi is not correct. sent9: something is not an epithet if it chocks startling. sent10: either the interstate is not hermeneutic or it is not limbed or both. sent11: the nitrobenzene is not an excitement and/or it does not quieten if the interstate is not an excitement. ; $proof$ = 
sent9 -> int1: the interstate is not a kind of an epithet if it chocks startling.; sent7 & sent8 -> int2: the interstate does chock startling.; int1 & int2 -> int3: the interstate is not a kind of an epithet.; int3 & sent3 -> int4: that the interstate is a synthetism and it does flesh Ajaia is not right.; int4 & sent6 -> int5: that the interstate is not an excitement is correct.; int5 & sent11 -> hypothesis; __PROVED__