the Arapaho does reside and is a kind of a graveness.
sent1: if the Arapaho does reside and does activate nitrate it is a kind of a stonecrop. sent2: the backup resides. sent3: something is a jackknife if the fact that it activates nitrate and is not chancrous is not wrong. sent4: the Arapaho is a graveness and a stonecrop. sent5: the Arapaho is inopportune thing that is not a kind of a Cambodian. sent6: the backup impacts inkwell. sent7: the backup does activate nitrate if there is something such that it is a graveness and it jackknifes. sent8: if the Arapaho is a procurer and not New it does reside. sent9: if the Arapaho is chancrous and it does excuse Norrish then it resides. sent10: the backup is a graveness if it is a kind of New thing that activates nitrate. sent11: the caldera is cadastral and it does excuse Norrish. sent12: the backup is New. sent13: the backup is both New and not a procurer. sent14: the Arapaho is chancrous. sent15: the backup activates nitrate. sent16: the backup is not chancrous. sent17: The nitrate activates backup. sent18: the backup does excuse Norrish if it is New and it is not a procurer. sent19: something is a stonecrop that is a kind of a procurer. sent20: the nitrate strands and it is sociopathic. sent21: there exists something such that it is New and it excuses Norrish. sent22: the backup is acapnic.
sent3 -> int1: if the backup does activate nitrate but it is not chancrous then the fact that it is a jackknife is not incorrect.; sent15 & sent16 -> int2: the backup activates nitrate but it is not chancrous.; int1 & int2 -> int3: that the backup does jackknife is not incorrect.; sent18 & sent13 -> int4: the fact that the backup excuses Norrish is not wrong.; int3 & int4 -> int5: the backup is a kind of a jackknife and it excuses Norrish.; int5 -> int6: there is something such that it jackknifes and excuses Norrish.; sent4 -> int7: the Arapaho is a kind of a graveness.;
$hypothesis$ = the Arapaho does reside and is a kind of a graveness. ; $context$ = sent1: if the Arapaho does reside and does activate nitrate it is a kind of a stonecrop. sent2: the backup resides. sent3: something is a jackknife if the fact that it activates nitrate and is not chancrous is not wrong. sent4: the Arapaho is a graveness and a stonecrop. sent5: the Arapaho is inopportune thing that is not a kind of a Cambodian. sent6: the backup impacts inkwell. sent7: the backup does activate nitrate if there is something such that it is a graveness and it jackknifes. sent8: if the Arapaho is a procurer and not New it does reside. sent9: if the Arapaho is chancrous and it does excuse Norrish then it resides. sent10: the backup is a graveness if it is a kind of New thing that activates nitrate. sent11: the caldera is cadastral and it does excuse Norrish. sent12: the backup is New. sent13: the backup is both New and not a procurer. sent14: the Arapaho is chancrous. sent15: the backup activates nitrate. sent16: the backup is not chancrous. sent17: The nitrate activates backup. sent18: the backup does excuse Norrish if it is New and it is not a procurer. sent19: something is a stonecrop that is a kind of a procurer. sent20: the nitrate strands and it is sociopathic. sent21: there exists something such that it is New and it excuses Norrish. sent22: the backup is acapnic. ; $proof$ = 
sent3 -> int1: if the backup does activate nitrate but it is not chancrous then the fact that it is a jackknife is not incorrect.; sent15 & sent16 -> int2: the backup activates nitrate but it is not chancrous.; int1 & int2 -> int3: that the backup does jackknife is not incorrect.; sent18 & sent13 -> int4: the fact that the backup excuses Norrish is not wrong.; int3 & int4 -> int5: the backup is a kind of a jackknife and it excuses Norrish.; int5 -> int6: there is something such that it jackknifes and excuses Norrish.; sent4 -> int7: the Arapaho is a kind of a graveness.; __UNKNOWN__