there exists something such that if it centrifuges then it granulates.
sent1: The trifle upgrades ticker. sent2: the ticker upgrades trifle. sent3: if there is something such that that it upgrades trifle and does granulate does not hold then the ticker does centrifuge. sent4: the ticker does not upgrade trifle if the cupel is a centrifuge and a Estonian. sent5: the cupel is a centrifuge and/or it is a kind of a Estonian if there is something such that it centrifuge. sent6: if the trifle is not Ptolemaic it does granulate. sent7: the fact that something does upgrade trifle and it does granulate is not true if it is not a prey. sent8: if the cupel is not Estonian then it does granulate. sent9: everything is not a Chavez and it is not a prey.
void -> assump1: Let's assume that the cupel is a kind of a centrifuge.; void -> assump2: Let's assume that the cupel is a Estonian.; assump1 & assump2 -> int1: the cupel is a centrifuge and it is a kind of a Estonian.; int1 & sent4 -> int2: the ticker does not upgrade trifle.; int2 & sent2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the cupel is not Estonian.; int4 & sent8 -> int5: the cupel does granulate.; [assump1] & int5 -> int6: if the cupel centrifuges then the fact that it does granulate is not incorrect.; int6 -> hypothesis;
the portrayal is not a abridger.
sent7 -> int7: that the energid does upgrade trifle and it granulates is not right if the fact that it is not a prey is not false.; sent9 -> int8: the energid is not a Chavez and it does not prey.; int8 -> int9: the energid does not prey.; int7 & int9 -> int10: the fact that the energid does upgrade trifle and granulates is wrong.; int10 -> int11: there is something such that that it does upgrade trifle and it granulates is false.; int11 & sent3 -> int12: that the ticker is a kind of a centrifuge is not false.; int12 -> int13: there is something such that it does centrifuge.; int13 & sent5 -> int14: the cupel either is a centrifuge or is a kind of a Estonian or both.;
$hypothesis$ = there exists something such that if it centrifuges then it granulates. ; $context$ = sent1: The trifle upgrades ticker. sent2: the ticker upgrades trifle. sent3: if there is something such that that it upgrades trifle and does granulate does not hold then the ticker does centrifuge. sent4: the ticker does not upgrade trifle if the cupel is a centrifuge and a Estonian. sent5: the cupel is a centrifuge and/or it is a kind of a Estonian if there is something such that it centrifuge. sent6: if the trifle is not Ptolemaic it does granulate. sent7: the fact that something does upgrade trifle and it does granulate is not true if it is not a prey. sent8: if the cupel is not Estonian then it does granulate. sent9: everything is not a Chavez and it is not a prey. ; $proof$ = 
void -> assump1: Let's assume that the cupel is a kind of a centrifuge.; void -> assump2: Let's assume that the cupel is a Estonian.; assump1 & assump2 -> int1: the cupel is a centrifuge and it is a kind of a Estonian.; int1 & sent4 -> int2: the ticker does not upgrade trifle.; int2 & sent2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the cupel is not Estonian.; int4 & sent8 -> int5: the cupel does granulate.; [assump1] & int5 -> int6: if the cupel centrifuges then the fact that it does granulate is not incorrect.; int6 -> hypothesis; __PROVED__