the weigher does index searchlight.
sent1: if something is a kind of a penetrator then it does color bullyboy. sent2: the overmantel is a kind of a fibrocartilage. sent3: if the mycomycin is a hangover but it is not a kind of a fibrocartilage the fact that the vesiculation does color bullyboy is not incorrect. sent4: if the vesiculation is not a penetrator but it is a kind of a hangover then the sweetmeat is planetary. sent5: the vesiculation does not index searchlight. sent6: if something does not color bullyboy the mycomycin is not planetary. sent7: the weigher does not index searchlight if the fact that it does not modulate and/or it is not a fibrocartilage is false. sent8: there is something such that it is a fibrocartilage. sent9: if the vesiculation does color bullyboy then the mycomycin is not a hangover. sent10: the vesiculation is not a hangover. sent11: the vesiculation is a kind of a penetrator if the overmantel indexes searchlight and is not a fibrocartilage. sent12: the sweetmeat is planetary if the vesiculation is both not a penetrator and not a hangover. sent13: if the sweetmeat is planetary then the fact that the weigher indexes searchlight hold. sent14: if the overmantel modulates the mycomycin does not color bullyboy. sent15: there exists something such that it is a hangover. sent16: the mycomycin does not color bullyboy if the fact that the overmantel does modulate or it is a fibrocartilage or both is not false. sent17: the vesiculation is not a penetrator and it is not a kind of a hangover if there exists something such that it does not color bullyboy. sent18: the mycomycin is not a hangover and it does not color bullyboy if there exists something such that it is not a penetrator. sent19: the weigher does color bullyboy. sent20: the fact that the vesiculation does not index velleity is right. sent21: there is something such that it is not a fibrocartilage. sent22: the vesiculation is a kind of a decimalization. sent23: the vesiculation is a hangover if the weigher is not a kind of a penetrator and it does not index searchlight. sent24: the vesiculation is not a kind of a hangover if there is something such that it does not color bullyboy.
sent2 -> int1: the overmantel does modulate or it is a fibrocartilage or both.; sent16 & int1 -> int2: the mycomycin does not color bullyboy.; int2 -> int3: there is something such that the fact that it does not color bullyboy is right.; int3 & sent17 -> int4: the vesiculation is not a penetrator and it is not a kind of a hangover.; sent12 & int4 -> int5: the sweetmeat is planetary.; sent13 & int5 -> hypothesis;
the weigher does not index searchlight.
sent1 -> int6: the weigher does color bullyboy if it is a kind of a penetrator.;
$hypothesis$ = the weigher does index searchlight. ; $context$ = sent1: if something is a kind of a penetrator then it does color bullyboy. sent2: the overmantel is a kind of a fibrocartilage. sent3: if the mycomycin is a hangover but it is not a kind of a fibrocartilage the fact that the vesiculation does color bullyboy is not incorrect. sent4: if the vesiculation is not a penetrator but it is a kind of a hangover then the sweetmeat is planetary. sent5: the vesiculation does not index searchlight. sent6: if something does not color bullyboy the mycomycin is not planetary. sent7: the weigher does not index searchlight if the fact that it does not modulate and/or it is not a fibrocartilage is false. sent8: there is something such that it is a fibrocartilage. sent9: if the vesiculation does color bullyboy then the mycomycin is not a hangover. sent10: the vesiculation is not a hangover. sent11: the vesiculation is a kind of a penetrator if the overmantel indexes searchlight and is not a fibrocartilage. sent12: the sweetmeat is planetary if the vesiculation is both not a penetrator and not a hangover. sent13: if the sweetmeat is planetary then the fact that the weigher indexes searchlight hold. sent14: if the overmantel modulates the mycomycin does not color bullyboy. sent15: there exists something such that it is a hangover. sent16: the mycomycin does not color bullyboy if the fact that the overmantel does modulate or it is a fibrocartilage or both is not false. sent17: the vesiculation is not a penetrator and it is not a kind of a hangover if there exists something such that it does not color bullyboy. sent18: the mycomycin is not a hangover and it does not color bullyboy if there exists something such that it is not a penetrator. sent19: the weigher does color bullyboy. sent20: the fact that the vesiculation does not index velleity is right. sent21: there is something such that it is not a fibrocartilage. sent22: the vesiculation is a kind of a decimalization. sent23: the vesiculation is a hangover if the weigher is not a kind of a penetrator and it does not index searchlight. sent24: the vesiculation is not a kind of a hangover if there is something such that it does not color bullyboy. ; $proof$ = 
sent2 -> int1: the overmantel does modulate or it is a fibrocartilage or both.; sent16 & int1 -> int2: the mycomycin does not color bullyboy.; int2 -> int3: there is something such that the fact that it does not color bullyboy is right.; int3 & sent17 -> int4: the vesiculation is not a penetrator and it is not a kind of a hangover.; sent12 & int4 -> int5: the sweetmeat is planetary.; sent13 & int5 -> hypothesis; __PROVED__