the peculiarity does not outsell astrology if the meninx does not overboil.
sent1: the fact that the peculiarity is a Ornithogalum but it does not redound is wrong if the cataloger does not redound. sent2: if the cataloger is not a complicatedness it does not redound. sent3: the meninx does not outsell astrology. sent4: that the peculiarity is a Ornithogalum that does not redound is wrong. sent5: the fact that the meninx does not devoice narrow and it is not a Ornithogalum is not true. sent6: the blade is not a Ornithogalum. sent7: the meninx overboils if the fact that the cataloger is a kind of a complicatedness is correct. sent8: if the peculiarity does not outsell astrology it is not a complicatedness. sent9: the meninx does not devoice dispersion. sent10: the peculiarity is not a spammer. sent11: if the peculiarity does not devoice Ithaca then it is not a kind of a butacaine. sent12: the fact that the meninx is not a Ornithogalum hold. sent13: the meninx does redound. sent14: if that the cataloger does not overboil and does not outsell astrology is incorrect then it does not redound. sent15: that the peculiarity is not a Ornithogalum but it redounds is false if that the cataloger redounds does not hold. sent16: if the meninx does not overboil then the peculiarity does outsell astrology. sent17: the peculiarity does not outsell astrology if the meninx does overboil. sent18: that the peculiarity is not a Ornithogalum but it does redound does not hold. sent19: if the fact that the peculiarity is not a Ornithogalum and it does not redound is incorrect it does outsell astrology. sent20: that the peculiarity does not outsell astrology is right if the fact that it is not a Ornithogalum and does not redound is not correct. sent21: the explorer outsells astrology. sent22: if the cataloger does not outsell astrology then the peculiarity is not a complicatedness.
void -> assump1: Let's assume that the cataloger is a complicatedness.; sent7 & assump1 -> int1: the meninx overboils.; void -> assump2: Let's assume that the meninx does not overboil.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cataloger is not a complicatedness.; int3 & sent2 -> int4: the cataloger does not redound.;
$hypothesis$ = the peculiarity does not outsell astrology if the meninx does not overboil. ; $context$ = sent1: the fact that the peculiarity is a Ornithogalum but it does not redound is wrong if the cataloger does not redound. sent2: if the cataloger is not a complicatedness it does not redound. sent3: the meninx does not outsell astrology. sent4: that the peculiarity is a Ornithogalum that does not redound is wrong. sent5: the fact that the meninx does not devoice narrow and it is not a Ornithogalum is not true. sent6: the blade is not a Ornithogalum. sent7: the meninx overboils if the fact that the cataloger is a kind of a complicatedness is correct. sent8: if the peculiarity does not outsell astrology it is not a complicatedness. sent9: the meninx does not devoice dispersion. sent10: the peculiarity is not a spammer. sent11: if the peculiarity does not devoice Ithaca then it is not a kind of a butacaine. sent12: the fact that the meninx is not a Ornithogalum hold. sent13: the meninx does redound. sent14: if that the cataloger does not overboil and does not outsell astrology is incorrect then it does not redound. sent15: that the peculiarity is not a Ornithogalum but it redounds is false if that the cataloger redounds does not hold. sent16: if the meninx does not overboil then the peculiarity does outsell astrology. sent17: the peculiarity does not outsell astrology if the meninx does overboil. sent18: that the peculiarity is not a Ornithogalum but it does redound does not hold. sent19: if the fact that the peculiarity is not a Ornithogalum and it does not redound is incorrect it does outsell astrology. sent20: that the peculiarity does not outsell astrology is right if the fact that it is not a Ornithogalum and does not redound is not correct. sent21: the explorer outsells astrology. sent22: if the cataloger does not outsell astrology then the peculiarity is not a complicatedness. ; $proof$ = 
void -> assump1: Let's assume that the cataloger is a complicatedness.; sent7 & assump1 -> int1: the meninx overboils.; void -> assump2: Let's assume that the meninx does not overboil.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cataloger is not a complicatedness.; int3 & sent2 -> int4: the cataloger does not redound.; __UNKNOWN__