the stalker is not high-rise and does not grumble attack.
sent1: if the Bedlam is not non-chauvinistic the mixed-blood is a listing. sent2: the fact that the mixed-blood wrestles Turdus and does not quarrel does not hold. sent3: the stalker does not grumble attack. sent4: the sheet is not a high-rise if there is something such that it is neurogenic. sent5: if something is chauvinistic but it is not a pyrogallol then it is not a kind of a listing. sent6: the stalker does not grumble attack if the sheet is not a kind of a high-rise. sent7: if something stints Pelham and does not list it is a SCNT. sent8: the fact that the stalker does stint Pelham is right if there exists something such that that it is neurogenic and it is not a bulge is not true. sent9: the mixed-blood stints Pelham. sent10: the worm is a high-rise. sent11: the fact that something is not a high-rise and it does not grumble attack is not correct if it is a SCNT. sent12: if something does not wrestle Turdus then that it is neurogenic and it is not a bulge is not true. sent13: if there exists something such that it does stint Pelham or it is a high-rise or both the stalker is not a kind of a pyrogallol. sent14: the sheet is not a kind of a high-rise if there is something such that it is a kind of a bulge or it is neurogenic or both. sent15: if the fact that the mixed-blood wrestles Turdus and is not a kind of a quarrel is incorrect then it does not wrestles Turdus. sent16: if something that is a SCNT stints Pelham it is not a listing. sent17: the stalker is not a high-rise and it does not grumble attack if the sheet is not a high-rise. sent18: the Bedlam is chauvinistic and/or is a kind of a pyrogallol. sent19: The Pelham stints mixed-blood. sent20: something is a kind of chauvinistic thing that is not a pyrogallol if it does not bluster. sent21: the Bedlam does grumble attack or it is a pyrogallol or both. sent22: the stalker is not a SCNT. sent23: that the mixed-blood does list is right if the Bedlam is a pyrogallol. sent24: the Bedlam does not list.
void -> assump1: Let's assume that the mixed-blood is a SCNT.; assump1 & sent9 -> int1: the mixed-blood is a SCNT and does stint Pelham.; sent16 -> int2: the mixed-blood does not list if it is a SCNT that stints Pelham.; int1 & int2 -> int3: the mixed-blood does not list.; sent18 & sent1 & sent23 -> int4: the mixed-blood is a listing.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mixed-blood is not a SCNT.;
that the stalker is not a kind of a high-rise and it does not grumble attack does not hold.
sent11 -> int7: if the stalker is a SCNT that it is a kind of non-high-rise thing that does not grumble attack is wrong.; sent7 -> int8: the stalker is a SCNT if it stints Pelham and it is not a listing.; sent12 -> int9: if the mixed-blood does not wrestle Turdus then the fact that that it is neurogenic and it is not a kind of a bulge is correct is wrong.; sent15 & sent2 -> int10: the mixed-blood does not wrestle Turdus.; int9 & int10 -> int11: that the mixed-blood is neurogenic but it is not a kind of a bulge is wrong.; int11 -> int12: there is something such that the fact that it is neurogenic and not a bulge is not right.; int12 & sent8 -> int13: the stalker stints Pelham.; sent5 -> int14: if the stalker is chauvinistic but it is not a pyrogallol then it does not list.; sent20 -> int15: if the stalker does not bluster then it is a kind of chauvinistic thing that is not a kind of a pyrogallol.;
$hypothesis$ = the stalker is not high-rise and does not grumble attack. ; $context$ = sent1: if the Bedlam is not non-chauvinistic the mixed-blood is a listing. sent2: the fact that the mixed-blood wrestles Turdus and does not quarrel does not hold. sent3: the stalker does not grumble attack. sent4: the sheet is not a high-rise if there is something such that it is neurogenic. sent5: if something is chauvinistic but it is not a pyrogallol then it is not a kind of a listing. sent6: the stalker does not grumble attack if the sheet is not a kind of a high-rise. sent7: if something stints Pelham and does not list it is a SCNT. sent8: the fact that the stalker does stint Pelham is right if there exists something such that that it is neurogenic and it is not a bulge is not true. sent9: the mixed-blood stints Pelham. sent10: the worm is a high-rise. sent11: the fact that something is not a high-rise and it does not grumble attack is not correct if it is a SCNT. sent12: if something does not wrestle Turdus then that it is neurogenic and it is not a bulge is not true. sent13: if there exists something such that it does stint Pelham or it is a high-rise or both the stalker is not a kind of a pyrogallol. sent14: the sheet is not a kind of a high-rise if there is something such that it is a kind of a bulge or it is neurogenic or both. sent15: if the fact that the mixed-blood wrestles Turdus and is not a kind of a quarrel is incorrect then it does not wrestles Turdus. sent16: if something that is a SCNT stints Pelham it is not a listing. sent17: the stalker is not a high-rise and it does not grumble attack if the sheet is not a high-rise. sent18: the Bedlam is chauvinistic and/or is a kind of a pyrogallol. sent19: The Pelham stints mixed-blood. sent20: something is a kind of chauvinistic thing that is not a pyrogallol if it does not bluster. sent21: the Bedlam does grumble attack or it is a pyrogallol or both. sent22: the stalker is not a SCNT. sent23: that the mixed-blood does list is right if the Bedlam is a pyrogallol. sent24: the Bedlam does not list. ; $proof$ = 
void -> assump1: Let's assume that the mixed-blood is a SCNT.; assump1 & sent9 -> int1: the mixed-blood is a SCNT and does stint Pelham.; sent16 -> int2: the mixed-blood does not list if it is a SCNT that stints Pelham.; int1 & int2 -> int3: the mixed-blood does not list.; sent18 & sent1 & sent23 -> int4: the mixed-blood is a listing.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mixed-blood is not a SCNT.; __UNKNOWN__