the rinse is a kind of a criminalism if the bursar is a kind of a Gorky.
sent1: if the bursar is a criminalism then it corsets rinse. sent2: that the bursar is a criminalism is right if the rinse is a bow. sent3: the rinse does corset rinse if the bursar is a criminalism. sent4: if the fact that that something does prey balmoral and/or it corsets rinse hold does not hold it is not a Gorky. sent5: the rinse is a criminalism if there exists something such that it does corset rinse. sent6: if the rinse is not a Gorky that the bursar either is not a bow or is not a criminalism or both is incorrect. sent7: the romper is tramontane if that there is something such that it is a kind of a Nelson or is a criminalism or both hold. sent8: the rinse does intensify VLDL if there are tramontane things. sent9: the rinse is a Gorky and/or it is a kind of a criminalism. sent10: the lymphoblast is a criminalism if that the bursar does not bow or it is not a criminalism or both is not right. sent11: the dissolving does bow if the bursar is a criminalism. sent12: the bursar is a skinny. sent13: the rinse is a desipramine. sent14: if the bursar is a skinny it mismanages. sent15: the bursar is a bow if it is a Gorky. sent16: if there is something such that either it is a kind of a bottler or it is unobtrusive or both that the appetizer does corset rinse is not false. sent17: if the bursar is a kind of a criminalism the rinse bows. sent18: the rinse is a kind of a rerebrace.
void -> assump1: Let's assume that the bursar is a Gorky.; sent15 & assump1 -> int1: the bursar is a kind of a bow.; int1 -> int2: either the bursar bows or it corsets rinse or both.; int2 -> int3: something does bow or does corset rinse or both.;
the lymphoblast is a criminalism.
sent4 -> int4: if that the rinse preys balmoral and/or does corset rinse does not hold then it is not a kind of a Gorky.;
$hypothesis$ = the rinse is a kind of a criminalism if the bursar is a kind of a Gorky. ; $context$ = sent1: if the bursar is a criminalism then it corsets rinse. sent2: that the bursar is a criminalism is right if the rinse is a bow. sent3: the rinse does corset rinse if the bursar is a criminalism. sent4: if the fact that that something does prey balmoral and/or it corsets rinse hold does not hold it is not a Gorky. sent5: the rinse is a criminalism if there exists something such that it does corset rinse. sent6: if the rinse is not a Gorky that the bursar either is not a bow or is not a criminalism or both is incorrect. sent7: the romper is tramontane if that there is something such that it is a kind of a Nelson or is a criminalism or both hold. sent8: the rinse does intensify VLDL if there are tramontane things. sent9: the rinse is a Gorky and/or it is a kind of a criminalism. sent10: the lymphoblast is a criminalism if that the bursar does not bow or it is not a criminalism or both is not right. sent11: the dissolving does bow if the bursar is a criminalism. sent12: the bursar is a skinny. sent13: the rinse is a desipramine. sent14: if the bursar is a skinny it mismanages. sent15: the bursar is a bow if it is a Gorky. sent16: if there is something such that either it is a kind of a bottler or it is unobtrusive or both that the appetizer does corset rinse is not false. sent17: if the bursar is a kind of a criminalism the rinse bows. sent18: the rinse is a kind of a rerebrace. ; $proof$ = 
void -> assump1: Let's assume that the bursar is a Gorky.; sent15 & assump1 -> int1: the bursar is a kind of a bow.; int1 -> int2: either the bursar bows or it corsets rinse or both.; int2 -> int3: something does bow or does corset rinse or both.; __UNKNOWN__