the platyrrhine is not systolic.
sent1: the mending is a gamecock. sent2: everything is a Babesiidae. sent3: if there exists something such that that it does not consider tabun and it does not thrive is false the surrenderer thrive. sent4: that the adsorbent does not consider tabun and it does not thrive is not right if the mending is not systolic. sent5: the mending is a gamecock if the platyrrhine considers tabun. sent6: if something does not consider tabun then it is systolic and does thrive. sent7: if the adsorbent thrives the mending does consider tabun. sent8: the shelf does not consider tabun. sent9: the platyrrhine considers shelf. sent10: the adsorbent thrives. sent11: if something does thrive it does chandelle. sent12: if the mending does consider tabun and is a chandelle the platyrrhine is not systolic. sent13: the mending is a chandelle if it is a gamecock.
sent7 & sent10 -> int1: the mending considers tabun.; sent13 & sent1 -> int2: the mending is a chandelle.; int1 & int2 -> int3: the mending considers tabun and does chandelle.; int3 & sent12 -> hypothesis;
the platyrrhine is systolic.
sent6 -> int4: the platyrrhine is systolic and thrives if it does not consider tabun.;
$hypothesis$ = the platyrrhine is not systolic. ; $context$ = sent1: the mending is a gamecock. sent2: everything is a Babesiidae. sent3: if there exists something such that that it does not consider tabun and it does not thrive is false the surrenderer thrive. sent4: that the adsorbent does not consider tabun and it does not thrive is not right if the mending is not systolic. sent5: the mending is a gamecock if the platyrrhine considers tabun. sent6: if something does not consider tabun then it is systolic and does thrive. sent7: if the adsorbent thrives the mending does consider tabun. sent8: the shelf does not consider tabun. sent9: the platyrrhine considers shelf. sent10: the adsorbent thrives. sent11: if something does thrive it does chandelle. sent12: if the mending does consider tabun and is a chandelle the platyrrhine is not systolic. sent13: the mending is a chandelle if it is a gamecock. ; $proof$ = 
sent7 & sent10 -> int1: the mending considers tabun.; sent13 & sent1 -> int2: the mending is a chandelle.; int1 & int2 -> int3: the mending considers tabun and does chandelle.; int3 & sent12 -> hypothesis; __PROVED__