the saltcellar is a doughnut.
sent1: if that the tessella is not a doughnut and it is not a use is not incorrect then the saltcellar is not a doughnut. sent2: if there is something such that the fact that it does not board emotion and it is a kind of a Nauruan does not hold the footballer is concave. sent3: if the appointment jets orangery then the chisel is not non-manual. sent4: the fact that the appointment does not spurt or is not a use or both is incorrect if the chisel is not a use. sent5: the fact that the appointment jets orangery and is not a manual does not hold. sent6: if the samizdat is allergic the footballer is allergic. sent7: the footballer is not a swift. sent8: something is a swift if it is a kind of a manual. sent9: the appointment is a kind of a use. sent10: the footballer is concave if there is something such that that it is not a kind of a Nauruan is true. sent11: if the footballer is concave the saltcellar is a kind of a doughnut. sent12: if the fact that the chisel is not concave is not false the fact that the tessella is not a kind of a doughnut and it is not a use hold. sent13: there exists something such that the fact that it boards emotion and is a Nauruan does not hold. sent14: something does not spurt and is not Ceylonese if it is not a rook. sent15: if something that is a swift spurts then it is not concave. sent16: something does not spurt or it is not a use or both if that it is not a swift is right. sent17: if the saltcellar does not spurt the appointment does spurt. sent18: something is not a rook if it is allergic. sent19: the appointment is not a swift if that it jets orangery and it is not manual is not right. sent20: if something that is not a kind of a socialization does not redeploy muscovite it does jet orangery. sent21: that if the footballer does not spurt and it is not Ceylonese the fact that the chisel does not spurt does not hold is right.
void -> assump1: Let's assume that the tessella does not board emotion and is a kind of a Nauruan.; sent16 -> int1: if the appointment is not a swift it either does not spurt or is not a kind of a use or both.; sent19 & sent5 -> int2: the appointment is not a kind of a swift.; int1 & int2 -> int3: the appointment does not spurt or it is not a use or both.;
the saltcellar is not a kind of a doughnut.
sent15 -> int4: the chisel is not concave if it is a swift and does spurt.; sent8 -> int5: if the chisel is a manual then it is a swift.; sent20 -> int6: if the appointment is not a socialization and it does not redeploy muscovite then it jets orangery.; sent14 -> int7: if the footballer is not a kind of a rook then it does not spurt and is not Ceylonese.; sent18 -> int8: the footballer is not a rook if it is allergic.;
$hypothesis$ = the saltcellar is a doughnut. ; $context$ = sent1: if that the tessella is not a doughnut and it is not a use is not incorrect then the saltcellar is not a doughnut. sent2: if there is something such that the fact that it does not board emotion and it is a kind of a Nauruan does not hold the footballer is concave. sent3: if the appointment jets orangery then the chisel is not non-manual. sent4: the fact that the appointment does not spurt or is not a use or both is incorrect if the chisel is not a use. sent5: the fact that the appointment jets orangery and is not a manual does not hold. sent6: if the samizdat is allergic the footballer is allergic. sent7: the footballer is not a swift. sent8: something is a swift if it is a kind of a manual. sent9: the appointment is a kind of a use. sent10: the footballer is concave if there is something such that that it is not a kind of a Nauruan is true. sent11: if the footballer is concave the saltcellar is a kind of a doughnut. sent12: if the fact that the chisel is not concave is not false the fact that the tessella is not a kind of a doughnut and it is not a use hold. sent13: there exists something such that the fact that it boards emotion and is a Nauruan does not hold. sent14: something does not spurt and is not Ceylonese if it is not a rook. sent15: if something that is a swift spurts then it is not concave. sent16: something does not spurt or it is not a use or both if that it is not a swift is right. sent17: if the saltcellar does not spurt the appointment does spurt. sent18: something is not a rook if it is allergic. sent19: the appointment is not a swift if that it jets orangery and it is not manual is not right. sent20: if something that is not a kind of a socialization does not redeploy muscovite it does jet orangery. sent21: that if the footballer does not spurt and it is not Ceylonese the fact that the chisel does not spurt does not hold is right. ; $proof$ = 
void -> assump1: Let's assume that the tessella does not board emotion and is a kind of a Nauruan.; sent16 -> int1: if the appointment is not a swift it either does not spurt or is not a kind of a use or both.; sent19 & sent5 -> int2: the appointment is not a kind of a swift.; int1 & int2 -> int3: the appointment does not spurt or it is not a use or both.; __UNKNOWN__