the Kansa turfs kris.
sent1: if the sertularian does not turf kris and is not a Anglicism then it does not turf Arafat. sent2: the honeydew is monistic. sent3: if the fact that something does not turf Arafat is not wrong then it does turf kris. sent4: if the sertularian does not turf Arafat then it cases Caesar and does divaricate stitcher. sent5: if the sertularian is not a Anglicism it is not a kind of a sinus and it does not turf Arafat. sent6: if something that is not a scratcher does turf bravo then the sertularian is not a Anshar. sent7: if the GB does flatten trouble then the mender is skinny. sent8: the sertularian is a Anshar. sent9: if the mender does not case Caesar and does not divaricate stitcher the Kansa is not a skinny. sent10: if the mender does flatten trouble the GB is not a kind of a scratcher but it turfs bravo. sent11: the sertularian is not a Anshar if it does not flatten trouble. sent12: if the fact that the mender is a kind of a Anshar that does not flatten trouble does not hold the Kansa does not turf kris. sent13: if the mender does not flatten trouble it does not case Caesar and does not divaricate stitcher. sent14: if that there exists something such that it cases Caesar is true then the GB flattens trouble. sent15: the sertularian is not a Anglicism if the honeydew is monistic. sent16: the GB does not turf Arafat if the sertularian is not a sinus and it does not turf Arafat. sent17: the GB does not divaricate stitcher and is not skinny if the fact that it does not turf Arafat hold.
void -> assump1: Let's assume that the mender does flatten trouble.; sent10 & assump1 -> int1: the GB is not a scratcher and does turf bravo.; int1 -> int2: something is not a scratcher but it turfs bravo.; int2 & sent6 -> int3: the sertularian is not a kind of a Anshar.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mender does not flatten trouble.; int5 & sent13 -> int6: the mender does not case Caesar and it does not divaricate stitcher.; int6 & sent9 -> int7: that the Kansa is not a skinny hold.; sent3 -> int8: if the Kansa does not turf Arafat it does turf kris.;
the Kansa does not turf kris.
sent15 & sent2 -> int9: the sertularian is not a kind of a Anglicism.; sent5 & int9 -> int10: the sertularian is not a kind of a sinus and does not turf Arafat.; sent16 & int10 -> int11: the GB does not turf Arafat.; sent17 & int11 -> int12: that the GB does not divaricate stitcher and it is not a skinny is true.; int12 -> int13: that the GB does not divaricate stitcher is correct.;
$hypothesis$ = the Kansa turfs kris. ; $context$ = sent1: if the sertularian does not turf kris and is not a Anglicism then it does not turf Arafat. sent2: the honeydew is monistic. sent3: if the fact that something does not turf Arafat is not wrong then it does turf kris. sent4: if the sertularian does not turf Arafat then it cases Caesar and does divaricate stitcher. sent5: if the sertularian is not a Anglicism it is not a kind of a sinus and it does not turf Arafat. sent6: if something that is not a scratcher does turf bravo then the sertularian is not a Anshar. sent7: if the GB does flatten trouble then the mender is skinny. sent8: the sertularian is a Anshar. sent9: if the mender does not case Caesar and does not divaricate stitcher the Kansa is not a skinny. sent10: if the mender does flatten trouble the GB is not a kind of a scratcher but it turfs bravo. sent11: the sertularian is not a Anshar if it does not flatten trouble. sent12: if the fact that the mender is a kind of a Anshar that does not flatten trouble does not hold the Kansa does not turf kris. sent13: if the mender does not flatten trouble it does not case Caesar and does not divaricate stitcher. sent14: if that there exists something such that it cases Caesar is true then the GB flattens trouble. sent15: the sertularian is not a Anglicism if the honeydew is monistic. sent16: the GB does not turf Arafat if the sertularian is not a sinus and it does not turf Arafat. sent17: the GB does not divaricate stitcher and is not skinny if the fact that it does not turf Arafat hold. ; $proof$ = 
void -> assump1: Let's assume that the mender does flatten trouble.; sent10 & assump1 -> int1: the GB is not a scratcher and does turf bravo.; int1 -> int2: something is not a scratcher but it turfs bravo.; int2 & sent6 -> int3: the sertularian is not a kind of a Anshar.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mender does not flatten trouble.; int5 & sent13 -> int6: the mender does not case Caesar and it does not divaricate stitcher.; int6 & sent9 -> int7: that the Kansa is not a skinny hold.; sent3 -> int8: if the Kansa does not turf Arafat it does turf kris.; __UNKNOWN__