the chase is an astringent.
sent1: the berlin is a recirculation if there exists something such that that it is resistible and it is Panhellenic is not right. sent2: if the berlin is genealogic thing that masks Merovingian the Merovingian is a kind of a recirculation. sent3: the shortener is a kind of non-polymorphic thing that is not non-Panhellenic. sent4: that the shortener is ovine and masks Merovingian is not true. sent5: if the Merovingian does not mask Merovingian but it is genealogic then the shortener is ovine. sent6: the shortener masks Merovingian if the Merovingian is ovine and is a kind of an astringent. sent7: there exists something such that the fact that it is resistible thing that is not non-Panhellenic is incorrect. sent8: the berlin is not a recirculation if there is something such that it is ovine or it does embrown propellant or both. sent9: the whole is not single-lane if the fact that the Merovingian does not mask Merovingian but it is genealogic is not right.
void -> assump1: Let's assume that the Merovingian does not mask Merovingian but it is genealogic.; sent5 & assump1 -> int1: the shortener is ovine.; int1 -> int2: either the shortener is ovine or it does embrown propellant or both.; int2 -> int3: there is something such that it is ovine and/or it does embrown propellant.; int3 & sent8 -> int4: the fact that the berlin is not a recirculation hold.; sent7 & sent1 -> int5: the berlin is a recirculation.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Merovingian does not mask Merovingian but it is genealogic is wrong.; int7 & sent9 -> int8: the whole is not single-lane.;
$hypothesis$ = the chase is an astringent. ; $context$ = sent1: the berlin is a recirculation if there exists something such that that it is resistible and it is Panhellenic is not right. sent2: if the berlin is genealogic thing that masks Merovingian the Merovingian is a kind of a recirculation. sent3: the shortener is a kind of non-polymorphic thing that is not non-Panhellenic. sent4: that the shortener is ovine and masks Merovingian is not true. sent5: if the Merovingian does not mask Merovingian but it is genealogic then the shortener is ovine. sent6: the shortener masks Merovingian if the Merovingian is ovine and is a kind of an astringent. sent7: there exists something such that the fact that it is resistible thing that is not non-Panhellenic is incorrect. sent8: the berlin is not a recirculation if there is something such that it is ovine or it does embrown propellant or both. sent9: the whole is not single-lane if the fact that the Merovingian does not mask Merovingian but it is genealogic is not right. ; $proof$ = 
void -> assump1: Let's assume that the Merovingian does not mask Merovingian but it is genealogic.; sent5 & assump1 -> int1: the shortener is ovine.; int1 -> int2: either the shortener is ovine or it does embrown propellant or both.; int2 -> int3: there is something such that it is ovine and/or it does embrown propellant.; int3 & sent8 -> int4: the fact that the berlin is not a recirculation hold.; sent7 & sent1 -> int5: the berlin is a recirculation.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Merovingian does not mask Merovingian but it is genealogic is wrong.; int7 & sent9 -> int8: the whole is not single-lane.; __UNKNOWN__