the fact that there is something such that it is not audible and it is scrotal is wrong.
sent1: the flirt is an audible. sent2: the gayfeather is not a kind of a retrospective. sent3: if the barbel is an audible the fact that the gayfeather does supple Sargent is right. sent4: the gayfeather is not a hansom but it is a kind of a Podargidae. sent5: the vitality is not a retrospective. sent6: the barbel does not supple Sargent. sent7: there exists something such that it does not supple Sargent and it is scrotal. sent8: the barbel is scrotal. sent9: there exists something such that it does not supple Sargent. sent10: if the canecutter is a sanguine then it is alopecic. sent11: the tormenter is audible. sent12: the exile is a retrospective. sent13: there exists something such that it is not a sanguine. sent14: if the canecutter is alopecic then the vitality is a retrospective. sent15: if the vitality is a kind of a sanguine the canecutter is a kind of a retrospective. sent16: the gayfeather is an audible if the barbel does supple Sargent. sent17: the gayfeather is audible. sent18: the coriander is not news and does pair barbel. sent19: the barbel is a kind of a retrospective. sent20: if that the gayfeather supples Sargent is not wrong then the canecutter is a sanguine. sent21: that something is not alopecic is not wrong.
void -> assump1: Let's assume that the fact that the barbel is an audible is not wrong.; sent3 & assump1 -> int1: the gayfeather does supple Sargent.; int1 & sent20 -> int2: the canecutter is a sanguine.; int2 & sent10 -> int3: the canecutter is alopecic.; int3 & sent14 -> int4: the vitality is a kind of a retrospective.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the barbel is not an audible.; int6 & sent8 -> int7: the barbel is not audible but it is scrotal.; int7 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is not audible and it is scrotal is wrong. ; $context$ = sent1: the flirt is an audible. sent2: the gayfeather is not a kind of a retrospective. sent3: if the barbel is an audible the fact that the gayfeather does supple Sargent is right. sent4: the gayfeather is not a hansom but it is a kind of a Podargidae. sent5: the vitality is not a retrospective. sent6: the barbel does not supple Sargent. sent7: there exists something such that it does not supple Sargent and it is scrotal. sent8: the barbel is scrotal. sent9: there exists something such that it does not supple Sargent. sent10: if the canecutter is a sanguine then it is alopecic. sent11: the tormenter is audible. sent12: the exile is a retrospective. sent13: there exists something such that it is not a sanguine. sent14: if the canecutter is alopecic then the vitality is a retrospective. sent15: if the vitality is a kind of a sanguine the canecutter is a kind of a retrospective. sent16: the gayfeather is an audible if the barbel does supple Sargent. sent17: the gayfeather is audible. sent18: the coriander is not news and does pair barbel. sent19: the barbel is a kind of a retrospective. sent20: if that the gayfeather supples Sargent is not wrong then the canecutter is a sanguine. sent21: that something is not alopecic is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the barbel is an audible is not wrong.; sent3 & assump1 -> int1: the gayfeather does supple Sargent.; int1 & sent20 -> int2: the canecutter is a sanguine.; int2 & sent10 -> int3: the canecutter is alopecic.; int3 & sent14 -> int4: the vitality is a kind of a retrospective.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the barbel is not an audible.; int6 & sent8 -> int7: the barbel is not audible but it is scrotal.; int7 -> hypothesis; __DISPROVED__