the night-line is not eremitic and/or is not a death-roll.
sent1: if the rapporteur is insolvent then it does sob. sent2: the rapporteur does snag chub if something that is not a kind of a Caprimulgus is off-line. sent3: the fact that something arms if it does snag chub hold. sent4: the rapporteur does not snag chub if the Tennessean is not an arms and does snag chub. sent5: if the night-line is insolvent then it is eremitic. sent6: that if something is insolvent then that it is not eremitic or not a death-roll or both is false is not incorrect. sent7: the fact that if there is something such that either it does sob or it is a kind of a Sheridan or both then the night-line is insolvent is not wrong. sent8: that if the rapporteur does not snag chub the night-line is not eremitic or not a death-roll or both is true. sent9: there exists something such that it is a denseness and/or it is unconditional. sent10: the night-line is insolvent if there is something such that it is a Sheridan. sent11: something is eremitic if it is insolvent. sent12: there are off-line things. sent13: if something is an arms then it is a sob. sent14: something does sob if that it is a Sheridan is correct. sent15: there exists something such that it is not a kind of a Caprimulgus. sent16: something is a Caprimulgus and off-line. sent17: there exists something such that it is not a Caprimulgus and it is off-line.
sent17 & sent2 -> int1: the rapporteur does snag chub.; sent3 -> int2: if the rapporteur does snag chub it is an arms.; int1 & int2 -> int3: the rapporteur is an arms.; sent13 -> int4: the rapporteur is a sob if it does arm.; int3 & int4 -> int5: the rapporteur does sob.; int5 -> int6: the rapporteur is a sob or it is a Sheridan or both.; int6 -> int7: there exists something such that it sobs and/or it is a Sheridan.; int7 & sent7 -> int8: the fact that the night-line is insolvent is true.; sent6 -> int9: that the night-line is not eremitic and/or is not a kind of a death-roll is not true if it is insolvent.; int8 & int9 -> hypothesis;
the night-line is not eremitic and/or it is not a kind of a death-roll.
sent14 -> int10: if the Tennessean is a Sheridan it does sob.;
$hypothesis$ = the night-line is not eremitic and/or is not a death-roll. ; $context$ = sent1: if the rapporteur is insolvent then it does sob. sent2: the rapporteur does snag chub if something that is not a kind of a Caprimulgus is off-line. sent3: the fact that something arms if it does snag chub hold. sent4: the rapporteur does not snag chub if the Tennessean is not an arms and does snag chub. sent5: if the night-line is insolvent then it is eremitic. sent6: that if something is insolvent then that it is not eremitic or not a death-roll or both is false is not incorrect. sent7: the fact that if there is something such that either it does sob or it is a kind of a Sheridan or both then the night-line is insolvent is not wrong. sent8: that if the rapporteur does not snag chub the night-line is not eremitic or not a death-roll or both is true. sent9: there exists something such that it is a denseness and/or it is unconditional. sent10: the night-line is insolvent if there is something such that it is a Sheridan. sent11: something is eremitic if it is insolvent. sent12: there are off-line things. sent13: if something is an arms then it is a sob. sent14: something does sob if that it is a Sheridan is correct. sent15: there exists something such that it is not a kind of a Caprimulgus. sent16: something is a Caprimulgus and off-line. sent17: there exists something such that it is not a Caprimulgus and it is off-line. ; $proof$ = 
sent17 & sent2 -> int1: the rapporteur does snag chub.; sent3 -> int2: if the rapporteur does snag chub it is an arms.; int1 & int2 -> int3: the rapporteur is an arms.; sent13 -> int4: the rapporteur is a sob if it does arm.; int3 & int4 -> int5: the rapporteur does sob.; int5 -> int6: the rapporteur is a sob or it is a Sheridan or both.; int6 -> int7: there exists something such that it sobs and/or it is a Sheridan.; int7 & sent7 -> int8: the fact that the night-line is insolvent is true.; sent6 -> int9: that the night-line is not eremitic and/or is not a kind of a death-roll is not true if it is insolvent.; int8 & int9 -> hypothesis; __DISPROVED__