the soundman is not a kind of a waver.
sent1: if the expectorant is a pardoner and/or it is unlikable the tulle is not a composer. sent2: the fact that the expectorant averages drawbar and is a waver does not hold if the tulle is not a pardoner. sent3: that the soundman is both not an analyzer and not conceptualistic is incorrect if the fact that the tulle is not a composer is not false. sent4: if the fact that something does average drawbar is true it is a pardoner. sent5: the tulle is both unlikable and an analyzer if it is not conceptualistic. sent6: something that is a composer or unlikable or both is not a kind of a pardoner. sent7: the soundman is not an analyzer if the tulle either does play Afro or is a composer or both. sent8: that the expectorant does not play Afro and is not glottochronological is not wrong. sent9: if the fact that something does nick or it is nonhierarchical or both does not hold then it is not conceptualistic. sent10: if the expectorant does not play Afro and it is not glottochronological it averages drawbar. sent11: if the fact that something is not an analyzer and not conceptualistic does not hold it does waver. sent12: if something is not a metabolism and does not monologuize then it is glottochronological. sent13: if the fact that the expectorant does average drawbar and it is a kind of a waver is not true then the soundman is not a waver.
sent10 & sent8 -> int1: the expectorant averages drawbar.; sent4 -> int2: if the expectorant averages drawbar then it is a pardoner.; int1 & int2 -> int3: the expectorant is a pardoner.; int3 -> int4: the expectorant is a pardoner and/or is unlikable.; int4 & sent1 -> int5: the tulle is not a composer.; int5 & sent3 -> int6: that the soundman is not an analyzer and it is not conceptualistic is not right.; sent11 -> int7: if the fact that the soundman is not an analyzer and it is not conceptualistic does not hold it is a waver.; int6 & int7 -> hypothesis;
the soundman is glottochronological if it is not a metabolism and it does not monologuize.
sent12 -> hypothesis;
$hypothesis$ = the soundman is not a kind of a waver. ; $context$ = sent1: if the expectorant is a pardoner and/or it is unlikable the tulle is not a composer. sent2: the fact that the expectorant averages drawbar and is a waver does not hold if the tulle is not a pardoner. sent3: that the soundman is both not an analyzer and not conceptualistic is incorrect if the fact that the tulle is not a composer is not false. sent4: if the fact that something does average drawbar is true it is a pardoner. sent5: the tulle is both unlikable and an analyzer if it is not conceptualistic. sent6: something that is a composer or unlikable or both is not a kind of a pardoner. sent7: the soundman is not an analyzer if the tulle either does play Afro or is a composer or both. sent8: that the expectorant does not play Afro and is not glottochronological is not wrong. sent9: if the fact that something does nick or it is nonhierarchical or both does not hold then it is not conceptualistic. sent10: if the expectorant does not play Afro and it is not glottochronological it averages drawbar. sent11: if the fact that something is not an analyzer and not conceptualistic does not hold it does waver. sent12: if something is not a metabolism and does not monologuize then it is glottochronological. sent13: if the fact that the expectorant does average drawbar and it is a kind of a waver is not true then the soundman is not a waver. ; $proof$ = 
sent10 & sent8 -> int1: the expectorant averages drawbar.; sent4 -> int2: if the expectorant averages drawbar then it is a pardoner.; int1 & int2 -> int3: the expectorant is a pardoner.; int3 -> int4: the expectorant is a pardoner and/or is unlikable.; int4 & sent1 -> int5: the tulle is not a composer.; int5 & sent3 -> int6: that the soundman is not an analyzer and it is not conceptualistic is not right.; sent11 -> int7: if the fact that the soundman is not an analyzer and it is not conceptualistic does not hold it is a waver.; int6 & int7 -> hypothesis; __DISPROVED__