the cefadroxil is non-microscopic or it does not twinkle or both.
sent1: the smilax is not acculturational. sent2: the Hogg is not avifaunal but it shirts. sent3: if the fact that the fact that the smilax is not acculturational but it is avifaunal is not false is wrong the Hogg is not ametabolic. sent4: that the metoprolol is not a colossus is right if the fact that the cefadroxil is not a kind of a twinkle but it is a shadow is not correct. sent5: if the smilax is Nepalese the cefadroxil is not a kind of a colossus and it is not ametabolic. sent6: the fact that the metoprolol is not a colossus and is Nepalese does not hold if the cricketer is a kind of a colossus. sent7: something is a kind of a Nepalese if that it is not a shadow and bogs lechwe is not right. sent8: the Hogg is a kind of a colossus and/or it is not ametabolic. sent9: if either the metoprolol is a brodiaea or it is not a transactinide or both then it is not transactinide. sent10: if something is non-avifaunal it is conclusive. sent11: if the Hogg is Nepalese the smilax is a kind of a Nepalese. sent12: if that the metoprolol is both not a colossus and Nepalese is incorrect then the mistletoe is not a twinkle. sent13: the Hogg is ametabolic if it does not shadow. sent14: if the cricketer is a kind of a Nepalese then the Hogg is a Nepalese. sent15: the fact that the Hogg is not a shadow is right. sent16: if the mistletoe is not a twinkle then the cefadroxil is not microscopic and/or it is not a twinkle. sent17: if something is not a colossus then that it is not microscopic and/or it is not a kind of a twinkle is wrong. sent18: if there exists something such that it is both not acculturational and avifaunal then the cricketer is a colossus. sent19: the fact that the smilax is acculturational and it is avifaunal is incorrect.
void -> assump1: Let's assume that that that the smilax is not acculturational and is avifaunal is not correct is correct.; sent3 & assump1 -> int1: the Hogg is not ametabolic.; sent13 & sent15 -> int2: the Hogg is ametabolic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the smilax is not acculturational but it is avifaunal.; int4 -> int5: there is something such that it is not acculturational and it is avifaunal.; int5 & sent18 -> int6: the cricketer is a colossus.; int6 & sent6 -> int7: that the metoprolol is not a colossus and is Nepalese does not hold.; int7 & sent12 -> int8: the mistletoe is not a twinkle.; int8 & sent16 -> hypothesis;
the fact that the cefadroxil is not microscopic or it is not a twinkle or both is not right.
sent17 -> int9: if the cefadroxil is not a kind of a colossus then the fact that it is not microscopic and/or it does not twinkle does not hold.; sent7 -> int10: the cricketer is a Nepalese if that it does not shadow and it bogs lechwe is not correct.;
$hypothesis$ = the cefadroxil is non-microscopic or it does not twinkle or both. ; $context$ = sent1: the smilax is not acculturational. sent2: the Hogg is not avifaunal but it shirts. sent3: if the fact that the fact that the smilax is not acculturational but it is avifaunal is not false is wrong the Hogg is not ametabolic. sent4: that the metoprolol is not a colossus is right if the fact that the cefadroxil is not a kind of a twinkle but it is a shadow is not correct. sent5: if the smilax is Nepalese the cefadroxil is not a kind of a colossus and it is not ametabolic. sent6: the fact that the metoprolol is not a colossus and is Nepalese does not hold if the cricketer is a kind of a colossus. sent7: something is a kind of a Nepalese if that it is not a shadow and bogs lechwe is not right. sent8: the Hogg is a kind of a colossus and/or it is not ametabolic. sent9: if either the metoprolol is a brodiaea or it is not a transactinide or both then it is not transactinide. sent10: if something is non-avifaunal it is conclusive. sent11: if the Hogg is Nepalese the smilax is a kind of a Nepalese. sent12: if that the metoprolol is both not a colossus and Nepalese is incorrect then the mistletoe is not a twinkle. sent13: the Hogg is ametabolic if it does not shadow. sent14: if the cricketer is a kind of a Nepalese then the Hogg is a Nepalese. sent15: the fact that the Hogg is not a shadow is right. sent16: if the mistletoe is not a twinkle then the cefadroxil is not microscopic and/or it is not a twinkle. sent17: if something is not a colossus then that it is not microscopic and/or it is not a kind of a twinkle is wrong. sent18: if there exists something such that it is both not acculturational and avifaunal then the cricketer is a colossus. sent19: the fact that the smilax is acculturational and it is avifaunal is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that that the smilax is not acculturational and is avifaunal is not correct is correct.; sent3 & assump1 -> int1: the Hogg is not ametabolic.; sent13 & sent15 -> int2: the Hogg is ametabolic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the smilax is not acculturational but it is avifaunal.; int4 -> int5: there is something such that it is not acculturational and it is avifaunal.; int5 & sent18 -> int6: the cricketer is a colossus.; int6 & sent6 -> int7: that the metoprolol is not a colossus and is Nepalese does not hold.; int7 & sent12 -> int8: the mistletoe is not a twinkle.; int8 & sent16 -> hypothesis; __PROVED__