the fetterbush is not a examen and is not a aide-memoire.
sent1: if that something resettles but it is not a pheromone does not hold then it is not a carabao. sent2: if the luminary does not slurp that the cake does not syllogize luminary and is not a aide-memoire does not hold. sent3: the sprayer does slurp. sent4: if the cake resettles but it is not a kind of a pheromone the luminary does not measure fetterbush. sent5: if there exists something such that it is not a carabao the fact that the luminary does measure fetterbush and does not resettle is false. sent6: there is something such that it does not slurp. sent7: the fact that the fetterbush is not a kind of a examen but it is a aide-memoire does not hold if there exists something such that it is not a carabao. sent8: if the cake does measure fetterbush then the fetterbush slurps. sent9: something is both not a examen and not a aide-memoire if it does slurp. sent10: the sprayer does not slurp if the luminary does not measure fetterbush. sent11: if there exists something such that that it is not a carabao hold that the fetterbush is not a examen and it is not a aide-memoire is not right. sent12: the fetterbush is not a minisub.
void -> assump1: Let's assume that the cake does resettle but it is not a pheromone.; sent4 & assump1 -> int1: the luminary does not measure fetterbush.; int1 & sent10 -> int2: that the sprayer does not slurp is not false.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the cake does resettle and is not a pheromone is false.; sent1 -> int5: the cake is not a carabao if that it does resettle and it is not a kind of a pheromone does not hold.; int4 & int5 -> int6: the cake is not a carabao.; int6 -> int7: there exists something such that it is not a carabao.; int7 & sent11 -> hypothesis;
the fetterbush is not a examen and it is not a aide-memoire.
sent9 -> int8: the fetterbush is not a examen and it is not a kind of a aide-memoire if it slurps.;
$hypothesis$ = the fetterbush is not a examen and is not a aide-memoire. ; $context$ = sent1: if that something resettles but it is not a pheromone does not hold then it is not a carabao. sent2: if the luminary does not slurp that the cake does not syllogize luminary and is not a aide-memoire does not hold. sent3: the sprayer does slurp. sent4: if the cake resettles but it is not a kind of a pheromone the luminary does not measure fetterbush. sent5: if there exists something such that it is not a carabao the fact that the luminary does measure fetterbush and does not resettle is false. sent6: there is something such that it does not slurp. sent7: the fact that the fetterbush is not a kind of a examen but it is a aide-memoire does not hold if there exists something such that it is not a carabao. sent8: if the cake does measure fetterbush then the fetterbush slurps. sent9: something is both not a examen and not a aide-memoire if it does slurp. sent10: the sprayer does not slurp if the luminary does not measure fetterbush. sent11: if there exists something such that that it is not a carabao hold that the fetterbush is not a examen and it is not a aide-memoire is not right. sent12: the fetterbush is not a minisub. ; $proof$ = 
void -> assump1: Let's assume that the cake does resettle but it is not a pheromone.; sent4 & assump1 -> int1: the luminary does not measure fetterbush.; int1 & sent10 -> int2: that the sprayer does not slurp is not false.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the cake does resettle and is not a pheromone is false.; sent1 -> int5: the cake is not a carabao if that it does resettle and it is not a kind of a pheromone does not hold.; int4 & int5 -> int6: the cake is not a carabao.; int6 -> int7: there exists something such that it is not a carabao.; int7 & sent11 -> hypothesis; __DISPROVED__