that that the halfback is the kind of tinny thing that does not depopulate is wrong if the halfback is a symphysis is not right.
sent1: if the halfback is a symphysis the fact that it is tinny and it does depopulate is not right. sent2: the fact that the halfback is tinny and it does depopulate does not hold. sent3: the carvedilol is not a counterargument if it is a symphysis and it does not elute milliard. sent4: something is a symphysis if it is a kind of tinny thing that does not depopulate. sent5: the halfback is tinny but it does not depopulate if that it is a symphysis is right. sent6: the Tennessean is not a slur if the fact that the perfumery is nectar-rich but it is not a Sunderland is not true. sent7: the halfback does not depopulate. sent8: if something is not a kind of a slur the fact that either it is a symphysis or it does not irrigate or both does not hold. sent9: the halfback is a kind of a yesterday. sent10: if the Tennessean does slur then it does not irrigate and it is a kind of a symphysis. sent11: if something that is tinny does depopulate it is not a symphysis. sent12: the safehold is tinny. sent13: something is not a symphysis if it is tinny and does not depopulate. sent14: if the halfback is tinny but it does not depopulate then it is a symphysis. sent15: the halfback is not a symphysis if it is a kind of tinny thing that does depopulate. sent16: the fact that the halfback does not elute Congridae hold if the fact that either the Tennessean is a symphysis or it does not irrigate or both is false.
sent13 -> int1: if the fact that the halfback is tinny but it does not depopulate hold it is not a kind of a symphysis.; void -> assump1: Let's assume that the halfback is tinny but it does not depopulate.; int1 & assump1 -> int2: the halfback is not a symphysis.; void -> assump2: Let's assume that the halfback is a symphysis.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the halfback is tinny and does not depopulate does not hold.; [assump2] & int4 -> hypothesis;
the halfback does not elute Congridae.
sent8 -> int5: if the Tennessean does not slur that it is a kind of a symphysis or it does not irrigate or both does not hold.;
$hypothesis$ = that that the halfback is the kind of tinny thing that does not depopulate is wrong if the halfback is a symphysis is not right. ; $context$ = sent1: if the halfback is a symphysis the fact that it is tinny and it does depopulate is not right. sent2: the fact that the halfback is tinny and it does depopulate does not hold. sent3: the carvedilol is not a counterargument if it is a symphysis and it does not elute milliard. sent4: something is a symphysis if it is a kind of tinny thing that does not depopulate. sent5: the halfback is tinny but it does not depopulate if that it is a symphysis is right. sent6: the Tennessean is not a slur if the fact that the perfumery is nectar-rich but it is not a Sunderland is not true. sent7: the halfback does not depopulate. sent8: if something is not a kind of a slur the fact that either it is a symphysis or it does not irrigate or both does not hold. sent9: the halfback is a kind of a yesterday. sent10: if the Tennessean does slur then it does not irrigate and it is a kind of a symphysis. sent11: if something that is tinny does depopulate it is not a symphysis. sent12: the safehold is tinny. sent13: something is not a symphysis if it is tinny and does not depopulate. sent14: if the halfback is tinny but it does not depopulate then it is a symphysis. sent15: the halfback is not a symphysis if it is a kind of tinny thing that does depopulate. sent16: the fact that the halfback does not elute Congridae hold if the fact that either the Tennessean is a symphysis or it does not irrigate or both is false. ; $proof$ = 
sent13 -> int1: if the fact that the halfback is tinny but it does not depopulate hold it is not a kind of a symphysis.; void -> assump1: Let's assume that the halfback is tinny but it does not depopulate.; int1 & assump1 -> int2: the halfback is not a symphysis.; void -> assump2: Let's assume that the halfback is a symphysis.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the halfback is tinny and does not depopulate does not hold.; [assump2] & int4 -> hypothesis; __DISPROVED__