the segregation does silence mercer if the syrup is a chateau.
sent1: that the segregation does team if that the segregation does not quintuple destiny is not false is true. sent2: the segregation is a kind of a ration if the isogamete quintuples destiny. sent3: if the isogamete silences Tartu then the segregation does not quintuple destiny. sent4: the isogamete does not quintuple destiny if the syrup is a chateau and/or a ration. sent5: the syrup does silence mercer and/or it is a chateau. sent6: the syrup quintuples destiny. sent7: if the isogamete rations or does silence Tartu or both then the segregation does not quintuple destiny. sent8: the isogamete is not a chateau. sent9: if the syrup is a chateau the isogamete is a kind of a ration. sent10: the isogamete is not thoughtful. sent11: the segregation does team. sent12: the segregation does silence mercer and it is a team if it does not quintuple destiny. sent13: the syrup does ration. sent14: the syrup does silence Tartu.
void -> assump1: Let's assume that the syrup is a chateau.; sent9 & assump1 -> int1: the isogamete is a ration.; int1 -> int2: the isogamete is a ration and/or silences Tartu.; int2 & sent7 -> int3: the fact that the segregation does not quintuple destiny is correct.; int3 & sent12 -> int4: the segregation does silence mercer and is a team.; int4 -> int5: the segregation silences mercer.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the segregation does silence mercer if the syrup is a chateau. ; $context$ = sent1: that the segregation does team if that the segregation does not quintuple destiny is not false is true. sent2: the segregation is a kind of a ration if the isogamete quintuples destiny. sent3: if the isogamete silences Tartu then the segregation does not quintuple destiny. sent4: the isogamete does not quintuple destiny if the syrup is a chateau and/or a ration. sent5: the syrup does silence mercer and/or it is a chateau. sent6: the syrup quintuples destiny. sent7: if the isogamete rations or does silence Tartu or both then the segregation does not quintuple destiny. sent8: the isogamete is not a chateau. sent9: if the syrup is a chateau the isogamete is a kind of a ration. sent10: the isogamete is not thoughtful. sent11: the segregation does team. sent12: the segregation does silence mercer and it is a team if it does not quintuple destiny. sent13: the syrup does ration. sent14: the syrup does silence Tartu. ; $proof$ = 
void -> assump1: Let's assume that the syrup is a chateau.; sent9 & assump1 -> int1: the isogamete is a ration.; int1 -> int2: the isogamete is a ration and/or silences Tartu.; int2 & sent7 -> int3: the fact that the segregation does not quintuple destiny is correct.; int3 & sent12 -> int4: the segregation does silence mercer and is a team.; int4 -> int5: the segregation silences mercer.; [assump1] & int5 -> hypothesis; __PROVED__