the delavirdine is not a Mandrillus and it is not a right-hander.
sent1: the fact that the stainless is conclusive but it is not a kind of a shop does not hold. sent2: the screening does knit and/or it is not a spinal if it does not suppurate. sent3: if that the fact that the kraft is non-unthematic thing that does knit does not hold is not incorrect then the pavement is inconclusive. sent4: that something is not a kind of a Mandrillus and it is not a right-hander does not hold if it is caloric. sent5: the pavement is conclusive if the stimulant is not conclusive. sent6: something is conclusive and it knits if it is not a spinal. sent7: if the screening is not spinal then the stimulant is not a kind of a knit. sent8: if the mythologist is unthematic the fact that the kraft is both not unthematic and a knit is false. sent9: the pavement is conclusive or it is unthematic or both if the stimulant is not a kind of a knit. sent10: something is unthematic if it is conclusive. sent11: if the screening knits the stimulant is not a knits. sent12: everything does suppurate and is a spinal. sent13: the delavirdine is not a kind of a Mandrillus. sent14: the mythologist is a right-hander. sent15: if the fact that the screening is a adelgid and not a spinal is wrong it is conclusive. sent16: the fact that something is not a kind of a adelgid and it does not hire is false if it is unthematic. sent17: if the delavirdine is a adelgid then the fact that the mythologist is a hire but it is not caloric is incorrect. sent18: if there exists something such that the fact that it is not a kind of a adelgid and it does not hire is wrong then the rhubarb is caloric. sent19: if that the delavirdine is not a Mandrillus and is not a right-hander is not true then it is a kind of a adelgid. sent20: something is unthematic if the fact that it hires and it is not caloric is not true. sent21: that the kraft does not suppurate hold if that something is a kind of a knit and is conclusive is correct. sent22: if the mythologist is a kind of a adelgid then that the delavirdine is caloric is not wrong.
void -> assump1: Let's assume that the fact that the delavirdine is not a Mandrillus and it is not a right-hander is wrong.; sent19 & assump1 -> int1: the delavirdine is a kind of a adelgid.; int1 & sent17 -> int2: the fact that the mythologist is both a hire and not caloric is not correct.; sent20 -> int3: if that the mythologist is a kind of a hire that is not caloric is not correct it is unthematic.; int2 & int3 -> int4: the mythologist is unthematic.; int4 & sent8 -> int5: that the kraft is not unthematic but it is a knit is not true.; int5 & sent3 -> int6: the pavement is not conclusive.; sent12 -> int7: the screening suppurates and it is a spinal.; int7 -> int8: there exists something such that it does suppurate and is spinal.;
the rhubarb is caloric.
sent10 -> int9: if the delavirdine is conclusive then it is unthematic.; sent6 -> int10: if the mythologist is not a spinal then it is conclusive and it is a knit.; sent16 -> int11: if the delavirdine is unthematic that it is not a kind of a adelgid and is not a hire is wrong.;
$hypothesis$ = the delavirdine is not a Mandrillus and it is not a right-hander. ; $context$ = sent1: the fact that the stainless is conclusive but it is not a kind of a shop does not hold. sent2: the screening does knit and/or it is not a spinal if it does not suppurate. sent3: if that the fact that the kraft is non-unthematic thing that does knit does not hold is not incorrect then the pavement is inconclusive. sent4: that something is not a kind of a Mandrillus and it is not a right-hander does not hold if it is caloric. sent5: the pavement is conclusive if the stimulant is not conclusive. sent6: something is conclusive and it knits if it is not a spinal. sent7: if the screening is not spinal then the stimulant is not a kind of a knit. sent8: if the mythologist is unthematic the fact that the kraft is both not unthematic and a knit is false. sent9: the pavement is conclusive or it is unthematic or both if the stimulant is not a kind of a knit. sent10: something is unthematic if it is conclusive. sent11: if the screening knits the stimulant is not a knits. sent12: everything does suppurate and is a spinal. sent13: the delavirdine is not a kind of a Mandrillus. sent14: the mythologist is a right-hander. sent15: if the fact that the screening is a adelgid and not a spinal is wrong it is conclusive. sent16: the fact that something is not a kind of a adelgid and it does not hire is false if it is unthematic. sent17: if the delavirdine is a adelgid then the fact that the mythologist is a hire but it is not caloric is incorrect. sent18: if there exists something such that the fact that it is not a kind of a adelgid and it does not hire is wrong then the rhubarb is caloric. sent19: if that the delavirdine is not a Mandrillus and is not a right-hander is not true then it is a kind of a adelgid. sent20: something is unthematic if the fact that it hires and it is not caloric is not true. sent21: that the kraft does not suppurate hold if that something is a kind of a knit and is conclusive is correct. sent22: if the mythologist is a kind of a adelgid then that the delavirdine is caloric is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the delavirdine is not a Mandrillus and it is not a right-hander is wrong.; sent19 & assump1 -> int1: the delavirdine is a kind of a adelgid.; int1 & sent17 -> int2: the fact that the mythologist is both a hire and not caloric is not correct.; sent20 -> int3: if that the mythologist is a kind of a hire that is not caloric is not correct it is unthematic.; int2 & int3 -> int4: the mythologist is unthematic.; int4 & sent8 -> int5: that the kraft is not unthematic but it is a knit is not true.; int5 & sent3 -> int6: the pavement is not conclusive.; sent12 -> int7: the screening suppurates and it is a spinal.; int7 -> int8: there exists something such that it does suppurate and is spinal.; __UNKNOWN__