the mesophyte does refresh.
sent1: the coke fingers mesocarp. sent2: the mesophyte tessellates and is rimless. sent3: either the coke does not finger mesocarp or it is clinical or both if the pesticide does not finger mesocarp. sent4: that either the flip-flop is not inextricable or it troubles or both does not hold. sent5: the kibitzer is non-squared if the release is a troubled but it is not non-squared. sent6: the release is not a kind of a squared if the fact that the pan does vacate Beauvoir is not wrong. sent7: if the coke does not vacate Beauvoir the fact that the pesticide does square and it is clinical hold. sent8: The Beauvoir does vacate pan. sent9: the release does trouble if there exists something such that the fact that it is an icebreaker and is not an edger is not true. sent10: the pan does vacate Beauvoir. sent11: if the mesophyte does refresh and is rimless the pesticide does not finger mesocarp. sent12: there exists something such that the fact that it is an icebreaker and is not an edger is not correct. sent13: the coke does not vacate Beauvoir. sent14: if the kibitzer is not a squared then the fact that the coke does not finger mesocarp or is clinical or both does not hold. sent15: if something does square the fact that it does not finger mesocarp and is not rimless is not true.
sent2 -> int1: the mesophyte is rimless.; void -> assump1: Let's assume that the mesophyte does refresh.; int1 & assump1 -> int2: the mesophyte refreshes and is rimless.; int2 & sent11 -> int3: the pesticide does not finger mesocarp.; int3 & sent3 -> int4: the coke does not finger mesocarp or it is clinical or both.; sent12 & sent9 -> int5: the release is a troubled.; sent6 & sent10 -> int6: the release is not squared.; int5 & int6 -> int7: the release is a troubled but it does not square.; sent5 & int7 -> int8: the kibitzer does not square.; sent14 & int8 -> int9: that the coke does not finger mesocarp and/or is clinical does not hold.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
that the mesophyte refreshes is not false.
sent15 -> int11: if the pesticide squares that it does not finger mesocarp and it is not rimless does not hold.; sent7 & sent13 -> int12: the pesticide does square and it is clinical.; int12 -> int13: the pesticide squares.; int11 & int13 -> int14: that the pesticide does not finger mesocarp and it is not rimless is false.; int14 -> int15: there is something such that that it does not finger mesocarp and is not rimless is not true.;
$hypothesis$ = the mesophyte does refresh. ; $context$ = sent1: the coke fingers mesocarp. sent2: the mesophyte tessellates and is rimless. sent3: either the coke does not finger mesocarp or it is clinical or both if the pesticide does not finger mesocarp. sent4: that either the flip-flop is not inextricable or it troubles or both does not hold. sent5: the kibitzer is non-squared if the release is a troubled but it is not non-squared. sent6: the release is not a kind of a squared if the fact that the pan does vacate Beauvoir is not wrong. sent7: if the coke does not vacate Beauvoir the fact that the pesticide does square and it is clinical hold. sent8: The Beauvoir does vacate pan. sent9: the release does trouble if there exists something such that the fact that it is an icebreaker and is not an edger is not true. sent10: the pan does vacate Beauvoir. sent11: if the mesophyte does refresh and is rimless the pesticide does not finger mesocarp. sent12: there exists something such that the fact that it is an icebreaker and is not an edger is not correct. sent13: the coke does not vacate Beauvoir. sent14: if the kibitzer is not a squared then the fact that the coke does not finger mesocarp or is clinical or both does not hold. sent15: if something does square the fact that it does not finger mesocarp and is not rimless is not true. ; $proof$ = 
sent2 -> int1: the mesophyte is rimless.; void -> assump1: Let's assume that the mesophyte does refresh.; int1 & assump1 -> int2: the mesophyte refreshes and is rimless.; int2 & sent11 -> int3: the pesticide does not finger mesocarp.; int3 & sent3 -> int4: the coke does not finger mesocarp or it is clinical or both.; sent12 & sent9 -> int5: the release is a troubled.; sent6 & sent10 -> int6: the release is not squared.; int5 & int6 -> int7: the release is a troubled but it does not square.; sent5 & int7 -> int8: the kibitzer does not square.; sent14 & int8 -> int9: that the coke does not finger mesocarp and/or is clinical does not hold.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__