the metazoan does nibble.
sent1: the Libyan is a kind of a batiste. sent2: if the stylite is a nibble but it does not tusk ascot then the Libyan opens Zingiber. sent3: the Libyan does tusk ascot if the stylite does not lighten and it is not a kind of a Centrocercus. sent4: the scoutmaster does not open Zingiber but it is a place if the stylite does not open Zingiber. sent5: the metazoan does nibble if the Libyan tusks ascot. sent6: the fact that the stylite does not lighten but it is a Centrocercus is false. sent7: something does not nibble but it does place if it does not open Zingiber. sent8: the stylite unbuttons pinner. sent9: the scoutmaster is not a kind of a cadence if the fact that there exists something such that it is not a cadence and/or does not swap is not incorrect. sent10: the Libyan tusks ascot if the stylite does not lighten but it is a Centrocercus. sent11: if that the stylite does not lighten and is not a Centrocercus is wrong it does not open Zingiber. sent12: that the Libyan tusks ascot and it is systolic is not correct if the fact that it is not a Centrocercus is right. sent13: the scoutmaster is not unsupportive and not plausible. sent14: if the scoutmaster does not Simonize comprehensibility then it is not systolic. sent15: the fact that the stylite is not a Tao or it is not gemmiferous or both is not true if the scoutmaster is not a cadence. sent16: the scoutmaster places. sent17: the fact that the scoutmaster is not non-systolic and it is a kind of a Centrocercus is not right if it does not open Zingiber. sent18: the scoutmaster does not Simonize comprehensibility. sent19: if something that does not tusk ascot is not systolic then it does not open Zingiber. sent20: the crappie does not nibble and it is not carbonyl. sent21: if the Libyan is a batiste then it is not a cadence or it does not swap or both. sent22: the metazoan tusks ascot if the scoutmaster is not a nibble and Simonizes comprehensibility. sent23: if the stylite lightens and is not a Centrocercus then the Libyan does tusk ascot. sent24: the fact that the scoutmaster opens Zingiber and is a kind of a Centrocercus is not correct if it does not lighten. sent25: The comprehensibility does not Simonize scoutmaster. sent26: the fact that something does not open Zingiber and places is incorrect if it is not systolic.
void -> assump1: Let's assume that the fact that the stylite does not lighten and it is not a Centrocercus is not true.; sent11 & assump1 -> int1: the stylite does not open Zingiber.; int1 & sent4 -> int2: the scoutmaster does not open Zingiber but it does place.; sent26 -> int3: if the scoutmaster is not systolic the fact that it does not open Zingiber and it places does not hold.; sent14 & sent18 -> int4: the scoutmaster is not systolic.; int3 & int4 -> int5: that the scoutmaster does not open Zingiber but it is a kind of a place is not true.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the stylite does not lighten and it is not a kind of a Centrocercus.; int7 & sent3 -> int8: the Libyan tusks ascot.; int8 & sent5 -> hypothesis;
the metazoan is not a nibble.
sent7 -> int9: if the metazoan does not open Zingiber it does not nibble and it does place.; sent19 -> int10: if the metazoan does not tusk ascot and it is non-systolic it does not open Zingiber.; sent21 & sent1 -> int11: the Libyan is not a kind of a cadence and/or it does not swap.; int11 -> int12: there exists something such that it is not a kind of a cadence or it does not swap or both.; int12 & sent9 -> int13: the scoutmaster is not a cadence.; sent15 & int13 -> int14: the fact that the stylite is not a Tao and/or it is not gemmiferous is incorrect.; int14 -> int15: there is something such that the fact that it is not a Tao or it is not gemmiferous or both does not hold.;
$hypothesis$ = the metazoan does nibble. ; $context$ = sent1: the Libyan is a kind of a batiste. sent2: if the stylite is a nibble but it does not tusk ascot then the Libyan opens Zingiber. sent3: the Libyan does tusk ascot if the stylite does not lighten and it is not a kind of a Centrocercus. sent4: the scoutmaster does not open Zingiber but it is a place if the stylite does not open Zingiber. sent5: the metazoan does nibble if the Libyan tusks ascot. sent6: the fact that the stylite does not lighten but it is a Centrocercus is false. sent7: something does not nibble but it does place if it does not open Zingiber. sent8: the stylite unbuttons pinner. sent9: the scoutmaster is not a kind of a cadence if the fact that there exists something such that it is not a cadence and/or does not swap is not incorrect. sent10: the Libyan tusks ascot if the stylite does not lighten but it is a Centrocercus. sent11: if that the stylite does not lighten and is not a Centrocercus is wrong it does not open Zingiber. sent12: that the Libyan tusks ascot and it is systolic is not correct if the fact that it is not a Centrocercus is right. sent13: the scoutmaster is not unsupportive and not plausible. sent14: if the scoutmaster does not Simonize comprehensibility then it is not systolic. sent15: the fact that the stylite is not a Tao or it is not gemmiferous or both is not true if the scoutmaster is not a cadence. sent16: the scoutmaster places. sent17: the fact that the scoutmaster is not non-systolic and it is a kind of a Centrocercus is not right if it does not open Zingiber. sent18: the scoutmaster does not Simonize comprehensibility. sent19: if something that does not tusk ascot is not systolic then it does not open Zingiber. sent20: the crappie does not nibble and it is not carbonyl. sent21: if the Libyan is a batiste then it is not a cadence or it does not swap or both. sent22: the metazoan tusks ascot if the scoutmaster is not a nibble and Simonizes comprehensibility. sent23: if the stylite lightens and is not a Centrocercus then the Libyan does tusk ascot. sent24: the fact that the scoutmaster opens Zingiber and is a kind of a Centrocercus is not correct if it does not lighten. sent25: The comprehensibility does not Simonize scoutmaster. sent26: the fact that something does not open Zingiber and places is incorrect if it is not systolic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the stylite does not lighten and it is not a Centrocercus is not true.; sent11 & assump1 -> int1: the stylite does not open Zingiber.; int1 & sent4 -> int2: the scoutmaster does not open Zingiber but it does place.; sent26 -> int3: if the scoutmaster is not systolic the fact that it does not open Zingiber and it places does not hold.; sent14 & sent18 -> int4: the scoutmaster is not systolic.; int3 & int4 -> int5: that the scoutmaster does not open Zingiber but it is a kind of a place is not true.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the stylite does not lighten and it is not a kind of a Centrocercus.; int7 & sent3 -> int8: the Libyan tusks ascot.; int8 & sent5 -> hypothesis; __PROVED__