that the monkshood does not gesticulate manakin and/or does not brecciate does not hold.
sent1: the allosaur is either a Faunus or sacerdotal or both. sent2: something that is not a kind of a hybrid does crawl. sent3: the syllogist denies Stael if the cyclone does crawl. sent4: the cyclone is a Faunus if it is a kind of a hybrid. sent5: the desiccant does deny Stael. sent6: either the cyclone gesticulates makeover or it is tasteful or both. sent7: if the allosaur is a Faunus or it is not non-sacerdotal or both then the cyclone is not non-sacerdotal. sent8: the allosaur is a hybrid if the cyclone is a Faunus. sent9: if that the monkshood is a kind of a Faunus is not false it does brecciate. sent10: that if the cyclone is the hybrid then the cyclone is sacerdotal is not false. sent11: the allosaur is not sacerdotal or it does not crawl or both. sent12: the fact that if something is not a kind of a hybrid then that it does not gesticulate manakin and/or it does not brecciate does not hold is true. sent13: if the syllogist does deny Stael either the monkshood does not gesticulate manakin or it does not brecciate or both. sent14: if the fact that the allosaur is a crawl is true the cyclone is sacerdotal. sent15: the xeranthemum gesticulates manakin.
void -> assump1: Let's assume that that the cyclone is a kind of a hybrid is not false.; sent10 & assump1 -> int1: the cyclone is sacerdotal.; sent7 & sent1 -> int2: the cyclone is not sacerdotal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclone is not a hybrid.; sent2 -> int5: the cyclone is a crawl if it is not a hybrid.; int4 & int5 -> int6: the cyclone is a kind of a crawl.; int6 & sent3 -> int7: the syllogist denies Stael.; int7 & sent13 -> hypothesis;
that either the monkshood does not gesticulate manakin or it does not brecciate or both is not right.
sent12 -> int8: if the monkshood is not a kind of a hybrid the fact that it does not gesticulate manakin and/or it does not brecciate is not true.;
$hypothesis$ = that the monkshood does not gesticulate manakin and/or does not brecciate does not hold. ; $context$ = sent1: the allosaur is either a Faunus or sacerdotal or both. sent2: something that is not a kind of a hybrid does crawl. sent3: the syllogist denies Stael if the cyclone does crawl. sent4: the cyclone is a Faunus if it is a kind of a hybrid. sent5: the desiccant does deny Stael. sent6: either the cyclone gesticulates makeover or it is tasteful or both. sent7: if the allosaur is a Faunus or it is not non-sacerdotal or both then the cyclone is not non-sacerdotal. sent8: the allosaur is a hybrid if the cyclone is a Faunus. sent9: if that the monkshood is a kind of a Faunus is not false it does brecciate. sent10: that if the cyclone is the hybrid then the cyclone is sacerdotal is not false. sent11: the allosaur is not sacerdotal or it does not crawl or both. sent12: the fact that if something is not a kind of a hybrid then that it does not gesticulate manakin and/or it does not brecciate does not hold is true. sent13: if the syllogist does deny Stael either the monkshood does not gesticulate manakin or it does not brecciate or both. sent14: if the fact that the allosaur is a crawl is true the cyclone is sacerdotal. sent15: the xeranthemum gesticulates manakin. ; $proof$ = 
void -> assump1: Let's assume that that the cyclone is a kind of a hybrid is not false.; sent10 & assump1 -> int1: the cyclone is sacerdotal.; sent7 & sent1 -> int2: the cyclone is not sacerdotal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyclone is not a hybrid.; sent2 -> int5: the cyclone is a crawl if it is not a hybrid.; int4 & int5 -> int6: the cyclone is a kind of a crawl.; int6 & sent3 -> int7: the syllogist denies Stael.; int7 & sent13 -> hypothesis; __DISPROVED__