the rima concretizes paratyphoid.
sent1: if there exists something such that it is not a canyonside that the helianthemum is peroneal or does lace hilum or both is not true. sent2: the fact that the rima is not retrorse is right. sent3: if the fact that there is something such that it does smoke hold the fact that the hydromel does not smoke and is a endoneurium is false. sent4: the rima does concretize advisory if it is both a hydrocarbon and not retrorse. sent5: if the aldohexose is a Georgetown then it is a kind of a smoke. sent6: the cubist is not a canyonside if the fact that the hydromel is not a kind of a smoke and is a endoneurium is wrong. sent7: the rima does concretize paratyphoid if it is retrorse. sent8: that the rima is a hydrocarbon and it is retrorse is not true. sent9: if the fact that something is a hydrocarbon but it is not retrorse is false then it does concretize paratyphoid. sent10: if the fact that the store does concretize hauler is not false then the chamberpot does concretize paratyphoid. sent11: if the helianthemum is not a Rhincodontidae then the store does descry angulation and it concretizes hauler. sent12: something descries dominus if the fact that it does not descries dominus and it concretizes advisory does not hold. sent13: there is something such that it does descry angulation and it does concretize advisory. sent14: if that something either is peroneal or does lace hilum or both is not correct it is not a kind of a Rhincodontidae. sent15: there exists something such that the fact that it does descry angulation and does concretize advisory is wrong. sent16: the rima does not concretize advisory if there exists something such that the fact that it descries angulation and it does concretize advisory is not correct. sent17: the fact that the aldohexose is a kind of a Georgetown is right. sent18: if something does concretize paratyphoid that the rima does not descry dominus but it does concretize advisory is wrong.
void -> assump1: Let's assume that the rima is a hydrocarbon but it is not retrorse.; sent4 & assump1 -> int1: the rima concretizes advisory.; sent15 & sent16 -> int2: the rima does not concretize advisory.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rima is a hydrocarbon and is not retrorse is not correct.; sent9 -> int5: if the fact that the rima is a kind of a hydrocarbon and is not retrorse is not true then it concretizes paratyphoid.; int4 & int5 -> hypothesis;
the rima descries dominus.
sent12 -> int6: if that the rima does not descry dominus but it does concretize advisory is incorrect the fact that it does descry dominus is not wrong.; sent14 -> int7: the fact that the helianthemum is not a kind of the Rhincodontidae if the fact that the helianthemum is peroneal or it laces hilum or both does not hold is not incorrect.; sent5 & sent17 -> int8: the aldohexose is a kind of a smoke.; int8 -> int9: there is something such that it is a smoke.; int9 & sent3 -> int10: the fact that the hydromel is not a kind of a smoke and is a endoneurium is wrong.; sent6 & int10 -> int11: the cubist is not a kind of a canyonside.; int11 -> int12: something is not a canyonside.; int12 & sent1 -> int13: the fact that the helianthemum is peroneal and/or it does lace hilum is not right.; int7 & int13 -> int14: the helianthemum is not a Rhincodontidae.; sent11 & int14 -> int15: the store does descry angulation and it does concretize hauler.; int15 -> int16: the store does concretize hauler.; sent10 & int16 -> int17: the fact that the chamberpot does concretize paratyphoid is correct.; int17 -> int18: there exists something such that it does concretize paratyphoid.; int18 & sent18 -> int19: that the rima does not descry dominus and concretizes advisory is incorrect.; int6 & int19 -> hypothesis;
$hypothesis$ = the rima concretizes paratyphoid. ; $context$ = sent1: if there exists something such that it is not a canyonside that the helianthemum is peroneal or does lace hilum or both is not true. sent2: the fact that the rima is not retrorse is right. sent3: if the fact that there is something such that it does smoke hold the fact that the hydromel does not smoke and is a endoneurium is false. sent4: the rima does concretize advisory if it is both a hydrocarbon and not retrorse. sent5: if the aldohexose is a Georgetown then it is a kind of a smoke. sent6: the cubist is not a canyonside if the fact that the hydromel is not a kind of a smoke and is a endoneurium is wrong. sent7: the rima does concretize paratyphoid if it is retrorse. sent8: that the rima is a hydrocarbon and it is retrorse is not true. sent9: if the fact that something is a hydrocarbon but it is not retrorse is false then it does concretize paratyphoid. sent10: if the fact that the store does concretize hauler is not false then the chamberpot does concretize paratyphoid. sent11: if the helianthemum is not a Rhincodontidae then the store does descry angulation and it concretizes hauler. sent12: something descries dominus if the fact that it does not descries dominus and it concretizes advisory does not hold. sent13: there is something such that it does descry angulation and it does concretize advisory. sent14: if that something either is peroneal or does lace hilum or both is not correct it is not a kind of a Rhincodontidae. sent15: there exists something such that the fact that it does descry angulation and does concretize advisory is wrong. sent16: the rima does not concretize advisory if there exists something such that the fact that it descries angulation and it does concretize advisory is not correct. sent17: the fact that the aldohexose is a kind of a Georgetown is right. sent18: if something does concretize paratyphoid that the rima does not descry dominus but it does concretize advisory is wrong. ; $proof$ = 
void -> assump1: Let's assume that the rima is a hydrocarbon but it is not retrorse.; sent4 & assump1 -> int1: the rima concretizes advisory.; sent15 & sent16 -> int2: the rima does not concretize advisory.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rima is a hydrocarbon and is not retrorse is not correct.; sent9 -> int5: if the fact that the rima is a kind of a hydrocarbon and is not retrorse is not true then it concretizes paratyphoid.; int4 & int5 -> hypothesis; __PROVED__