the fact that the Emetrol is both not anxiolytic and not a petitio is false.
sent1: something is not exoteric if the fact that it is a kind of a birdlime and erases solfa is wrong. sent2: something that does not erase solfa is a birdlime that is not exoteric. sent3: if something does not erase jute that it is a birdlime that does erase solfa does not hold. sent4: if the overload is exoteric thing that does erase solfa it is not a feverroot. sent5: the Emetrol is not a anxiolytic and it is not a petitio if the overload is not anxiolytic. sent6: the spokeshave does erase solfa if there exists something such that it does not birdlime and it is non-exoteric. sent7: if the lettuce uproots it is not a kind of a firework. sent8: the Emetrol is not a petitio if the overload is not a kind of a anxiolytic. sent9: if the lettuce is not a firework the spokeshave is a feverroot and does not erase jute. sent10: something is fugal but it is not a kind of a eucalyptus. sent11: if the overload is a anxiolytic it is exoteric. sent12: if something that is a feverroot does not erase jute that it does not erase solfa is right. sent13: the lettuce uproots. sent14: the fact that something does uproot and it is a tampion does not hold if it does not blackmail insidiousness. sent15: the Emetrol is a firework but it is not a kind of a feverroot if the overload does not uproot. sent16: a firework that is not a feverroot does not erase jute. sent17: that something is not a anxiolytic and not a petitio is not true if it is not exoteric. sent18: the lettuce is a firework if there exists something such that it is not a birdlime and is not a anxiolytic. sent19: if the overload is exoteric then the confessor is not a birdlime and it is not exoteric. sent20: the confessor does not blackmail insidiousness.
void -> assump1: Let's assume that the overload is a anxiolytic.; sent11 & assump1 -> int1: the overload is exoteric.; int1 & sent19 -> int2: the confessor does not birdlime and is not exoteric.; int2 -> int3: there is something such that it is not a kind of a birdlime and it is not exoteric.; int3 & sent6 -> int4: the spokeshave erases solfa.; sent12 -> int5: if the spokeshave is a feverroot but it does not erase jute then it does not erase solfa.; sent7 & sent13 -> int6: that the lettuce is not a kind of a firework is correct.; sent9 & int6 -> int7: the fact that the spokeshave is a feverroot and does not erase jute hold.; int5 & int7 -> int8: the spokeshave does not erase solfa.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the overload is not anxiolytic.; int10 & sent5 -> hypothesis;
the fact that the Emetrol is not a kind of a anxiolytic and it is not a petitio does not hold.
sent2 -> int11: if the overload does not erase solfa it is a birdlime that is not exoteric.;
$hypothesis$ = the fact that the Emetrol is both not anxiolytic and not a petitio is false. ; $context$ = sent1: something is not exoteric if the fact that it is a kind of a birdlime and erases solfa is wrong. sent2: something that does not erase solfa is a birdlime that is not exoteric. sent3: if something does not erase jute that it is a birdlime that does erase solfa does not hold. sent4: if the overload is exoteric thing that does erase solfa it is not a feverroot. sent5: the Emetrol is not a anxiolytic and it is not a petitio if the overload is not anxiolytic. sent6: the spokeshave does erase solfa if there exists something such that it does not birdlime and it is non-exoteric. sent7: if the lettuce uproots it is not a kind of a firework. sent8: the Emetrol is not a petitio if the overload is not a kind of a anxiolytic. sent9: if the lettuce is not a firework the spokeshave is a feverroot and does not erase jute. sent10: something is fugal but it is not a kind of a eucalyptus. sent11: if the overload is a anxiolytic it is exoteric. sent12: if something that is a feverroot does not erase jute that it does not erase solfa is right. sent13: the lettuce uproots. sent14: the fact that something does uproot and it is a tampion does not hold if it does not blackmail insidiousness. sent15: the Emetrol is a firework but it is not a kind of a feverroot if the overload does not uproot. sent16: a firework that is not a feverroot does not erase jute. sent17: that something is not a anxiolytic and not a petitio is not true if it is not exoteric. sent18: the lettuce is a firework if there exists something such that it is not a birdlime and is not a anxiolytic. sent19: if the overload is exoteric then the confessor is not a birdlime and it is not exoteric. sent20: the confessor does not blackmail insidiousness. ; $proof$ = 
void -> assump1: Let's assume that the overload is a anxiolytic.; sent11 & assump1 -> int1: the overload is exoteric.; int1 & sent19 -> int2: the confessor does not birdlime and is not exoteric.; int2 -> int3: there is something such that it is not a kind of a birdlime and it is not exoteric.; int3 & sent6 -> int4: the spokeshave erases solfa.; sent12 -> int5: if the spokeshave is a feverroot but it does not erase jute then it does not erase solfa.; sent7 & sent13 -> int6: that the lettuce is not a kind of a firework is correct.; sent9 & int6 -> int7: the fact that the spokeshave is a feverroot and does not erase jute hold.; int5 & int7 -> int8: the spokeshave does not erase solfa.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the overload is not anxiolytic.; int10 & sent5 -> hypothesis; __DISPROVED__