the toyon is not a Roccus.
sent1: the alcoholic is not saurian and it does not roughen escheat. sent2: that the overpressure is a Roccus that does winkle is not correct. sent3: if that something is a kind of non-saurian thing that does winkle does not hold it is not a messuage. sent4: the toyon is a kind of a Roccus if the overpressure is not a messuage and it is not a swab. sent5: if something gravitates that it is not botulinal is not false. sent6: if the fact that the toyon is not affixal and roughens isoclinal is not true that it is not a kind of a Telemann is not incorrect. sent7: the overpressure is not a kind of a think if it is agraphic and it is a kind of a seine. sent8: that something is not botulinal is not wrong if that it does not gravitate and it is a Telemann is false. sent9: the overpressure does not winkle if it is agraphic and it is not non-saurian. sent10: something is not a kind of a messuage and does not swab if it does not winkle. sent11: the overpressure is agraphic. sent12: the overpressure is not a kind of a messuage. sent13: the candlepin is not a saurian. sent14: something is not saurian if the fact that it is botulinal a saurian is not true. sent15: if something is botulinal but it is not a saurian then the fact that it is not a Roccus hold. sent16: that the fact that the overpressure is not non-Methodists and not botulinal is right is incorrect. sent17: that the overpressure gravitates and it is a Telemann is false if that it is not saurian is not wrong. sent18: something is not a kind of a think if the fact that it is not a play and is a toff is not right. sent19: if the overpressure is not saurian that it does not gravitate and is a Telemann does not hold. sent20: the fact that the overpressure is a kind of Methodists thing that is botulinal does not hold. sent21: if that something is Methodists and is not botulinal is not correct then it is botulinal. sent22: the toyon is botulinal. sent23: something is not a shrink-wrap if it refers.
void -> assump1: Let's assume that the fact that the overpressure is not a saurian is right.; sent19 & assump1 -> int1: the fact that the overpressure does not gravitate and is a Telemann is incorrect.; sent8 -> int2: the fact that the overpressure is not botulinal is right if the fact that it does not gravitate and is a kind of a Telemann does not hold.; int1 & int2 -> int3: the overpressure is not botulinal.; sent21 -> int4: if the fact that the overpressure is Methodists but not botulinal is not true it is botulinal.; int4 & sent16 -> int5: the overpressure is botulinal.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the overpressure is a saurian.; int7 & sent11 -> int8: the overpressure is agraphic and it is saurian.; int8 & sent9 -> int9: the overpressure does not winkle.; sent10 -> int10: if the fact that the overpressure does not winkle is right then it is not a messuage and does not swab.; int9 & int10 -> int11: the overpressure is both not a messuage and not a swab.; int11 & sent4 -> hypothesis;
the toyon is not a Roccus.
sent15 -> int12: if the toyon is botulinal but it is not saurian it is not a Roccus.;
$hypothesis$ = the toyon is not a Roccus. ; $context$ = sent1: the alcoholic is not saurian and it does not roughen escheat. sent2: that the overpressure is a Roccus that does winkle is not correct. sent3: if that something is a kind of non-saurian thing that does winkle does not hold it is not a messuage. sent4: the toyon is a kind of a Roccus if the overpressure is not a messuage and it is not a swab. sent5: if something gravitates that it is not botulinal is not false. sent6: if the fact that the toyon is not affixal and roughens isoclinal is not true that it is not a kind of a Telemann is not incorrect. sent7: the overpressure is not a kind of a think if it is agraphic and it is a kind of a seine. sent8: that something is not botulinal is not wrong if that it does not gravitate and it is a Telemann is false. sent9: the overpressure does not winkle if it is agraphic and it is not non-saurian. sent10: something is not a kind of a messuage and does not swab if it does not winkle. sent11: the overpressure is agraphic. sent12: the overpressure is not a kind of a messuage. sent13: the candlepin is not a saurian. sent14: something is not saurian if the fact that it is botulinal a saurian is not true. sent15: if something is botulinal but it is not a saurian then the fact that it is not a Roccus hold. sent16: that the fact that the overpressure is not non-Methodists and not botulinal is right is incorrect. sent17: that the overpressure gravitates and it is a Telemann is false if that it is not saurian is not wrong. sent18: something is not a kind of a think if the fact that it is not a play and is a toff is not right. sent19: if the overpressure is not saurian that it does not gravitate and is a Telemann does not hold. sent20: the fact that the overpressure is a kind of Methodists thing that is botulinal does not hold. sent21: if that something is Methodists and is not botulinal is not correct then it is botulinal. sent22: the toyon is botulinal. sent23: something is not a shrink-wrap if it refers. ; $proof$ = 
void -> assump1: Let's assume that the fact that the overpressure is not a saurian is right.; sent19 & assump1 -> int1: the fact that the overpressure does not gravitate and is a Telemann is incorrect.; sent8 -> int2: the fact that the overpressure is not botulinal is right if the fact that it does not gravitate and is a kind of a Telemann does not hold.; int1 & int2 -> int3: the overpressure is not botulinal.; sent21 -> int4: if the fact that the overpressure is Methodists but not botulinal is not true it is botulinal.; int4 & sent16 -> int5: the overpressure is botulinal.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the overpressure is a saurian.; int7 & sent11 -> int8: the overpressure is agraphic and it is saurian.; int8 & sent9 -> int9: the overpressure does not winkle.; sent10 -> int10: if the fact that the overpressure does not winkle is right then it is not a messuage and does not swab.; int9 & int10 -> int11: the overpressure is both not a messuage and not a swab.; int11 & sent4 -> hypothesis; __DISPROVED__