if the tenement is not a greenbelt the lifeline clings falcon and does cling popularizer.
sent1: something clings popularizer if it ablates. sent2: there is something such that it is a kind of a pederasty and is a Tyrol. sent3: the tenement is a kind of a greenbelt if something is a wonder or it untunes grace or both. sent4: that the tunnel does not untune grace hold if the arrester untune grace but it is not a kind of a greenbelt. sent5: either the lifeline is not cordless or it ablates or both. sent6: if there exists something such that that it is a pederasty and it is a Tyrol is false the lifeline is a splenectomy. sent7: there exists something such that that it is preanal and clings earmuff does not hold. sent8: the unionist is either a wonder or not replaceable or both. sent9: the lifeline is not a greenbelt and/or it does cling popularizer. sent10: there exists something such that the fact that it is a splenectomy that untunes grace is not right. sent11: if there is something such that it is monumental then the minge is a wonder. sent12: if the tenement is a greenbelt then the lifeline does cling falcon and it does cling popularizer. sent13: the fact that the tenement is cordless is not false. sent14: the lifeline does cling falcon if the arrester is not a wonder or it is not cordless or both. sent15: the lifeline is not a splenectomy and/or it is not cordless. sent16: the arrester does not ablate. sent17: the arrester is a splenectomy if there is something such that either it does ablate or it is cordless or both. sent18: if the lifeline is a splenectomy it ablates. sent19: the arrester is a wonder or it is not cordless or both.
void -> assump2: Let's assume that the arrester is a wonder.; assump2 -> int1: the arrester is a kind of a wonder and/or it does untune grace.; int1 -> int2: something wonders or it does untune grace or both.; int2 & sent3 -> int3: that the tenement is a greenbelt is correct.; void -> assump1: Let's assume that the tenement is not a greenbelt.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the arrester does not wonder.; int5 -> int6: the arrester is not a wonder and/or it is not cordless.; int6 & sent14 -> int7: the lifeline clings falcon.; sent1 -> int8: if the lifeline ablates it does cling popularizer.;
the tunnel is a Tyrol.
$hypothesis$ = if the tenement is not a greenbelt the lifeline clings falcon and does cling popularizer. ; $context$ = sent1: something clings popularizer if it ablates. sent2: there is something such that it is a kind of a pederasty and is a Tyrol. sent3: the tenement is a kind of a greenbelt if something is a wonder or it untunes grace or both. sent4: that the tunnel does not untune grace hold if the arrester untune grace but it is not a kind of a greenbelt. sent5: either the lifeline is not cordless or it ablates or both. sent6: if there exists something such that that it is a pederasty and it is a Tyrol is false the lifeline is a splenectomy. sent7: there exists something such that that it is preanal and clings earmuff does not hold. sent8: the unionist is either a wonder or not replaceable or both. sent9: the lifeline is not a greenbelt and/or it does cling popularizer. sent10: there exists something such that the fact that it is a splenectomy that untunes grace is not right. sent11: if there is something such that it is monumental then the minge is a wonder. sent12: if the tenement is a greenbelt then the lifeline does cling falcon and it does cling popularizer. sent13: the fact that the tenement is cordless is not false. sent14: the lifeline does cling falcon if the arrester is not a wonder or it is not cordless or both. sent15: the lifeline is not a splenectomy and/or it is not cordless. sent16: the arrester does not ablate. sent17: the arrester is a splenectomy if there is something such that either it does ablate or it is cordless or both. sent18: if the lifeline is a splenectomy it ablates. sent19: the arrester is a wonder or it is not cordless or both. ; $proof$ = 
void -> assump2: Let's assume that the arrester is a wonder.; assump2 -> int1: the arrester is a kind of a wonder and/or it does untune grace.; int1 -> int2: something wonders or it does untune grace or both.; int2 & sent3 -> int3: that the tenement is a greenbelt is correct.; void -> assump1: Let's assume that the tenement is not a greenbelt.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the arrester does not wonder.; int5 -> int6: the arrester is not a wonder and/or it is not cordless.; int6 & sent14 -> int7: the lifeline clings falcon.; sent1 -> int8: if the lifeline ablates it does cling popularizer.; __UNKNOWN__