the sousaphone hoodoos quiver and is not celebratory.
sent1: the catsup does not hoodoo quiver if the sima does not down Rhinolophidae and/or does not hoodoo straight. sent2: the sousaphone does hoodoo quiver. sent3: that the sima is austenitic but it is not spartan is wrong. sent4: the fact that the sousaphone does not hoodoo straight and it is not celebratory is not right. sent5: if the catsup does not hoodoo quiver that the sousaphone does hoodoo quiver is correct. sent6: the sima does not hoodoo quiver if the fact that it does not down Rhinolophidae and it does not hoodoo straight does not hold. sent7: the sousaphone is not spartan and/or it is not rhythmical. sent8: that the catsup does not down Whitney and it does not down Rhinolophidae does not hold. sent9: the sima is spartan but it does not hoodoo quiver if the fact that the sousaphone is not spartan is correct. sent10: that the sima is both non-austenitic and non-spartan is wrong. sent11: if the fact that the sima is not austenitic and it is not spartan is not true it does not down Rhinolophidae. sent12: the heavyweight downs Rhinolophidae and is not a anopheline. sent13: the sousaphone does hoodoo quiver but it is not celebratory if the catsup does not hoodoo quiver. sent14: the catsup does not hoodoo quiver if the sima does not hoodoo straight. sent15: the sima does not down Rhinolophidae or it does hoodoo straight or both. sent16: if something does not hoodoo straight the fact that it does hoodoo quiver and it is not celebratory is not true. sent17: if the sima is austenitic then it does not down Rhinolophidae. sent18: the sima does not down Rhinolophidae if the fact that it is not austenitic and does not hoodoo quiver is not true. sent19: that that the sousaphone does not down Rhinolophidae hold if that the sousaphone does not hoodoo quiver and it does not hoodoo straight is incorrect is not incorrect. sent20: the sousaphone either does not hoodoo quiver or is not actinometric or both.
sent11 & sent10 -> int1: that the sima does not down Rhinolophidae hold.; int1 -> int2: the sima does not down Rhinolophidae and/or does not hoodoo straight.; sent1 & int2 -> int3: the catsup does not hoodoo quiver.; sent13 & int3 -> hypothesis;
the fact that the sousaphone does hoodoo quiver and is non-celebratory is incorrect.
sent16 -> int4: the fact that the sousaphone hoodoos quiver and is not celebratory is not true if that it does not hoodoo straight is true.;
$hypothesis$ = the sousaphone hoodoos quiver and is not celebratory. ; $context$ = sent1: the catsup does not hoodoo quiver if the sima does not down Rhinolophidae and/or does not hoodoo straight. sent2: the sousaphone does hoodoo quiver. sent3: that the sima is austenitic but it is not spartan is wrong. sent4: the fact that the sousaphone does not hoodoo straight and it is not celebratory is not right. sent5: if the catsup does not hoodoo quiver that the sousaphone does hoodoo quiver is correct. sent6: the sima does not hoodoo quiver if the fact that it does not down Rhinolophidae and it does not hoodoo straight does not hold. sent7: the sousaphone is not spartan and/or it is not rhythmical. sent8: that the catsup does not down Whitney and it does not down Rhinolophidae does not hold. sent9: the sima is spartan but it does not hoodoo quiver if the fact that the sousaphone is not spartan is correct. sent10: that the sima is both non-austenitic and non-spartan is wrong. sent11: if the fact that the sima is not austenitic and it is not spartan is not true it does not down Rhinolophidae. sent12: the heavyweight downs Rhinolophidae and is not a anopheline. sent13: the sousaphone does hoodoo quiver but it is not celebratory if the catsup does not hoodoo quiver. sent14: the catsup does not hoodoo quiver if the sima does not hoodoo straight. sent15: the sima does not down Rhinolophidae or it does hoodoo straight or both. sent16: if something does not hoodoo straight the fact that it does hoodoo quiver and it is not celebratory is not true. sent17: if the sima is austenitic then it does not down Rhinolophidae. sent18: the sima does not down Rhinolophidae if the fact that it is not austenitic and does not hoodoo quiver is not true. sent19: that that the sousaphone does not down Rhinolophidae hold if that the sousaphone does not hoodoo quiver and it does not hoodoo straight is incorrect is not incorrect. sent20: the sousaphone either does not hoodoo quiver or is not actinometric or both. ; $proof$ = 
sent11 & sent10 -> int1: that the sima does not down Rhinolophidae hold.; int1 -> int2: the sima does not down Rhinolophidae and/or does not hoodoo straight.; sent1 & int2 -> int3: the catsup does not hoodoo quiver.; sent13 & int3 -> hypothesis; __PROVED__