the streamer does not handle.
sent1: the diencephalon is follicular if the streamer is follicular. sent2: the captor is not a kind of a groom if a shittah does consort dolichocephalic. sent3: if the diencephalon does not consort magazine the captor consorts streamer. sent4: something grooms if it is a epilation. sent5: the jello consorts magazine. sent6: the captor is gallinaceous. sent7: if the diencephalon does not consort Scottish that it jockeys wonderberry is not wrong. sent8: something is both a armorer and gallinaceous if it is not a shittah. sent9: the captor is not a shittah and it does not consort dolichocephalic. sent10: the diencephalon does not consort magazine. sent11: the captor is a handled if the streamer is not a armorer. sent12: the diencephalon does not consort dolichocephalic and it is not a coaster. sent13: the captor does not consort dolichocephalic. sent14: there exists something such that it is a kind of a armorer. sent15: if something consorts streamer it does consort magazine. sent16: the captor consorts streamer and it consorts magazine. sent17: The magazine does not consort diencephalon. sent18: the diencephalon is not a kind of a epilation. sent19: the captor is a epilation and it consorts streamer if the diencephalon does not consort magazine. sent20: something is a groom. sent21: the streamer is follicular and does not consort magazine. sent22: the developer is a handled and is a headline if it is not a kind of an immolation. sent23: the captor does consort streamer. sent24: if something that is a kind of a groom is a armorer then the streamer is not a handled.
sent19 & sent10 -> int1: the captor is a kind of a epilation that consorts streamer.; int1 -> int2: the captor is a kind of a epilation.; sent4 -> int3: the captor is a groom if that it is a epilation is not wrong.; int2 & int3 -> int4: the captor grooms.; sent8 -> int5: if the captor is not a kind of a shittah it is a kind of a armorer and it is gallinaceous.; sent9 -> int6: the captor is not a kind of a shittah.; int5 & int6 -> int7: the captor is a armorer and it is gallinaceous.; int7 -> int8: the captor is a armorer.; int4 & int8 -> int9: the captor is a groom that is a armorer.; int9 -> int10: there is something such that it is a kind of a groom that is a kind of a armorer.; int10 & sent24 -> hypothesis;
something is follicular and strokes.
sent21 -> int11: the streamer is follicular.; sent1 & int11 -> int12: that the diencephalon is follicular is not wrong.;
$hypothesis$ = the streamer does not handle. ; $context$ = sent1: the diencephalon is follicular if the streamer is follicular. sent2: the captor is not a kind of a groom if a shittah does consort dolichocephalic. sent3: if the diencephalon does not consort magazine the captor consorts streamer. sent4: something grooms if it is a epilation. sent5: the jello consorts magazine. sent6: the captor is gallinaceous. sent7: if the diencephalon does not consort Scottish that it jockeys wonderberry is not wrong. sent8: something is both a armorer and gallinaceous if it is not a shittah. sent9: the captor is not a shittah and it does not consort dolichocephalic. sent10: the diencephalon does not consort magazine. sent11: the captor is a handled if the streamer is not a armorer. sent12: the diencephalon does not consort dolichocephalic and it is not a coaster. sent13: the captor does not consort dolichocephalic. sent14: there exists something such that it is a kind of a armorer. sent15: if something consorts streamer it does consort magazine. sent16: the captor consorts streamer and it consorts magazine. sent17: The magazine does not consort diencephalon. sent18: the diencephalon is not a kind of a epilation. sent19: the captor is a epilation and it consorts streamer if the diencephalon does not consort magazine. sent20: something is a groom. sent21: the streamer is follicular and does not consort magazine. sent22: the developer is a handled and is a headline if it is not a kind of an immolation. sent23: the captor does consort streamer. sent24: if something that is a kind of a groom is a armorer then the streamer is not a handled. ; $proof$ = 
sent19 & sent10 -> int1: the captor is a kind of a epilation that consorts streamer.; int1 -> int2: the captor is a kind of a epilation.; sent4 -> int3: the captor is a groom if that it is a epilation is not wrong.; int2 & int3 -> int4: the captor grooms.; sent8 -> int5: if the captor is not a kind of a shittah it is a kind of a armorer and it is gallinaceous.; sent9 -> int6: the captor is not a kind of a shittah.; int5 & int6 -> int7: the captor is a armorer and it is gallinaceous.; int7 -> int8: the captor is a armorer.; int4 & int8 -> int9: the captor is a groom that is a armorer.; int9 -> int10: there is something such that it is a kind of a groom that is a kind of a armorer.; int10 & sent24 -> hypothesis; __PROVED__