the fact that the correspondent is not a backslapper and does not broadside Spassky does not hold if the HDL does not send.
sent1: if something does not broadside rip or is not a shopfront or both then it does not broadside rip. sent2: the HDL does not broadside rip or is not a kind of a shopfront or both if it does broadside Ultrasuede. sent3: the floorwalker broadsides rip if the launchpad is orchestral and does not foster. sent4: the fact that the floorwalker does not broadside rip but it is a backslapper does not hold if the helix does not broadside Spassky. sent5: the HDL broadsides Spassky. sent6: something that collars gerbil is hyaloplasmic. sent7: if that the HDL does not broadside rip is right the fact that the helix does not send and is montane is not right. sent8: if something is a shopfront that it is a backslapper is correct. sent9: the correspondent does foster but it is not a kind of a backslapper. sent10: the fact that the oligosaccharide does not broadside Ultrasuede and does broadside Spassky is wrong if the correspondent broadside Ultrasuede. sent11: the floorwalker is a kind of a shopfront. sent12: if the floorwalker does broadside Ultrasuede then the oligosaccharide does broadside rip. sent13: if something is montane it does broadside Ultrasuede. sent14: the ectoparasite is a kind of a colloquy that is not a kind of a sirdar. sent15: if the floorwalker broadsides rip the fact that the oligosaccharide is montane hold. sent16: the fact that the launchpad sends is right. sent17: something sends if the fact that it does not sends and is montane is false. sent18: if the HDL does not send the correspondent is not a kind of a backslapper and it does not broadside Spassky. sent19: if the oligosaccharide does broadside Ultrasuede the helix is a kind of a shopfront. sent20: the fact that the correspondent is a kind of a backslapper but it does not broadside Spassky is false. sent21: if the HDL does not send the launchpad is a kind of orchestral thing that does not foster.
void -> assump1: Let's assume that the HDL does not send.; sent21 & assump1 -> int1: the launchpad is orchestral thing that does not foster.; int1 & sent3 -> int2: the floorwalker does broadside rip.; int2 & sent15 -> int3: the oligosaccharide is montane.; sent13 -> int4: the oligosaccharide does broadside Ultrasuede if it is montane.; int3 & int4 -> int5: the oligosaccharide broadsides Ultrasuede.; int5 & sent19 -> int6: the helix is a shopfront.; sent8 -> int7: the helix is a backslapper if it is a shopfront.; int6 & int7 -> int8: the fact that the helix is a backslapper is not false.;
the helix does send.
sent17 -> int9: if the fact that the helix does not send and is montane does not hold it does send.; sent1 -> int10: the HDL does not broadside rip if it does not broadside rip or it is not a shopfront or both.;
$hypothesis$ = the fact that the correspondent is not a backslapper and does not broadside Spassky does not hold if the HDL does not send. ; $context$ = sent1: if something does not broadside rip or is not a shopfront or both then it does not broadside rip. sent2: the HDL does not broadside rip or is not a kind of a shopfront or both if it does broadside Ultrasuede. sent3: the floorwalker broadsides rip if the launchpad is orchestral and does not foster. sent4: the fact that the floorwalker does not broadside rip but it is a backslapper does not hold if the helix does not broadside Spassky. sent5: the HDL broadsides Spassky. sent6: something that collars gerbil is hyaloplasmic. sent7: if that the HDL does not broadside rip is right the fact that the helix does not send and is montane is not right. sent8: if something is a shopfront that it is a backslapper is correct. sent9: the correspondent does foster but it is not a kind of a backslapper. sent10: the fact that the oligosaccharide does not broadside Ultrasuede and does broadside Spassky is wrong if the correspondent broadside Ultrasuede. sent11: the floorwalker is a kind of a shopfront. sent12: if the floorwalker does broadside Ultrasuede then the oligosaccharide does broadside rip. sent13: if something is montane it does broadside Ultrasuede. sent14: the ectoparasite is a kind of a colloquy that is not a kind of a sirdar. sent15: if the floorwalker broadsides rip the fact that the oligosaccharide is montane hold. sent16: the fact that the launchpad sends is right. sent17: something sends if the fact that it does not sends and is montane is false. sent18: if the HDL does not send the correspondent is not a kind of a backslapper and it does not broadside Spassky. sent19: if the oligosaccharide does broadside Ultrasuede the helix is a kind of a shopfront. sent20: the fact that the correspondent is a kind of a backslapper but it does not broadside Spassky is false. sent21: if the HDL does not send the launchpad is a kind of orchestral thing that does not foster. ; $proof$ = 
void -> assump1: Let's assume that the HDL does not send.; sent21 & assump1 -> int1: the launchpad is orchestral thing that does not foster.; int1 & sent3 -> int2: the floorwalker does broadside rip.; int2 & sent15 -> int3: the oligosaccharide is montane.; sent13 -> int4: the oligosaccharide does broadside Ultrasuede if it is montane.; int3 & int4 -> int5: the oligosaccharide broadsides Ultrasuede.; int5 & sent19 -> int6: the helix is a shopfront.; sent8 -> int7: the helix is a backslapper if it is a shopfront.; int6 & int7 -> int8: the fact that the helix is a backslapper is not false.; __UNKNOWN__