the heaume is a Nilotic.
sent1: if something that does not stoke admiralty is carcinogenic then that it is onomatopoeic is not false. sent2: the heaume either is onomatopoeic or does not stoke packrat or both if the intestine does not sermonize Seth. sent3: if something does not stoke admiralty but it cloisters hippoboscid then it does stretch originality. sent4: if the circumference is not a kind of a pique then it does not stoke admiralty. sent5: the circumference is not a pique but it does sermonize Seth if it is not onomatopoeic. sent6: if the circumference is a Nilotic it stokes admiralty. sent7: if something does stoke packrat it sermonizes Seth. sent8: the circumference stretches originality if it stokes admiralty and it does cloister hippoboscid. sent9: the heaume does stretch originality. sent10: the intestine is not non-Nilotic if that the arrowroot is not logogrammatic and it is not a kind of a non-Nilotic does not hold. sent11: that the circumference does entrance is right. sent12: if the packrat does not cloister hippoboscid and it does not stretch originality then the kameez cloister hippoboscid. sent13: something stretches originality if it stokes admiralty and does cloister hippoboscid. sent14: the circumference does not stoke admiralty. sent15: the heaume does not stoke admiralty. sent16: if the heaume does stoke friendlessness then it is a kind of a Nilotic. sent17: if something sermonizes Seth then it stokes friendlessness. sent18: if the circumference does stretch originality then the packrat is carcinogenic. sent19: if the indusium is a pique the fact that the arrowroot is both not logogrammatic and not a Nilotic is false. sent20: the indusium is a pique and sermonizes smuttiness if it is not a kind of a fox. sent21: the circumference is not a pique. sent22: if that something is not carcinogenic is correct it does not cloister hippoboscid and does not stretch originality. sent23: the indusium is not a fox. sent24: the mildness does sermonize Seth. sent25: if the packrat is onomatopoeic then the heaume stokes packrat. sent26: if the fact that the circumference does not pique is not incorrect it does not stoke admiralty and does cloister hippoboscid. sent27: that something does not stoke friendlessness and does sermonize Seth does not hold if it is a kind of a Nilotic. sent28: if the packrat is carcinogenic it is onomatopoeic.
sent3 -> int1: the circumference stretches originality if it does not stoke admiralty and does cloister hippoboscid.; sent26 & sent21 -> int2: the circumference does not stoke admiralty but it does cloister hippoboscid.; int1 & int2 -> int3: the circumference stretches originality.; int3 & sent18 -> int4: that the packrat is carcinogenic is not incorrect.; int4 & sent28 -> int5: the packrat is onomatopoeic.; int5 & sent25 -> int6: the fact that the heaume does stoke packrat is right.; sent7 -> int7: the heaume sermonizes Seth if it stokes packrat.; int6 & int7 -> int8: the heaume does sermonize Seth.; sent17 -> int9: if the heaume sermonizes Seth then it does stoke friendlessness.; int8 & int9 -> int10: the heaume does stoke friendlessness.; int10 & sent16 -> hypothesis;
the kameez cloisters hippoboscid.
sent22 -> int11: if the packrat is not carcinogenic then it does not cloister hippoboscid and does not stretch originality.; sent27 -> int12: if the intestine is a Nilotic then that it does not stoke friendlessness and sermonizes Seth is false.; sent20 & sent23 -> int13: the indusium does pique and it sermonizes smuttiness.; int13 -> int14: the indusium is a kind of a pique.; sent19 & int14 -> int15: the fact that the arrowroot is not logogrammatic and not Nilotic does not hold.; sent10 & int15 -> int16: the intestine is Nilotic.; int12 & int16 -> int17: that the intestine does not stoke friendlessness and sermonizes Seth does not hold.;
$hypothesis$ = the heaume is a Nilotic. ; $context$ = sent1: if something that does not stoke admiralty is carcinogenic then that it is onomatopoeic is not false. sent2: the heaume either is onomatopoeic or does not stoke packrat or both if the intestine does not sermonize Seth. sent3: if something does not stoke admiralty but it cloisters hippoboscid then it does stretch originality. sent4: if the circumference is not a kind of a pique then it does not stoke admiralty. sent5: the circumference is not a pique but it does sermonize Seth if it is not onomatopoeic. sent6: if the circumference is a Nilotic it stokes admiralty. sent7: if something does stoke packrat it sermonizes Seth. sent8: the circumference stretches originality if it stokes admiralty and it does cloister hippoboscid. sent9: the heaume does stretch originality. sent10: the intestine is not non-Nilotic if that the arrowroot is not logogrammatic and it is not a kind of a non-Nilotic does not hold. sent11: that the circumference does entrance is right. sent12: if the packrat does not cloister hippoboscid and it does not stretch originality then the kameez cloister hippoboscid. sent13: something stretches originality if it stokes admiralty and does cloister hippoboscid. sent14: the circumference does not stoke admiralty. sent15: the heaume does not stoke admiralty. sent16: if the heaume does stoke friendlessness then it is a kind of a Nilotic. sent17: if something sermonizes Seth then it stokes friendlessness. sent18: if the circumference does stretch originality then the packrat is carcinogenic. sent19: if the indusium is a pique the fact that the arrowroot is both not logogrammatic and not a Nilotic is false. sent20: the indusium is a pique and sermonizes smuttiness if it is not a kind of a fox. sent21: the circumference is not a pique. sent22: if that something is not carcinogenic is correct it does not cloister hippoboscid and does not stretch originality. sent23: the indusium is not a fox. sent24: the mildness does sermonize Seth. sent25: if the packrat is onomatopoeic then the heaume stokes packrat. sent26: if the fact that the circumference does not pique is not incorrect it does not stoke admiralty and does cloister hippoboscid. sent27: that something does not stoke friendlessness and does sermonize Seth does not hold if it is a kind of a Nilotic. sent28: if the packrat is carcinogenic it is onomatopoeic. ; $proof$ = 
sent3 -> int1: the circumference stretches originality if it does not stoke admiralty and does cloister hippoboscid.; sent26 & sent21 -> int2: the circumference does not stoke admiralty but it does cloister hippoboscid.; int1 & int2 -> int3: the circumference stretches originality.; int3 & sent18 -> int4: that the packrat is carcinogenic is not incorrect.; int4 & sent28 -> int5: the packrat is onomatopoeic.; int5 & sent25 -> int6: the fact that the heaume does stoke packrat is right.; sent7 -> int7: the heaume sermonizes Seth if it stokes packrat.; int6 & int7 -> int8: the heaume does sermonize Seth.; sent17 -> int9: if the heaume sermonizes Seth then it does stoke friendlessness.; int8 & int9 -> int10: the heaume does stoke friendlessness.; int10 & sent16 -> hypothesis; __PROVED__