the fact that there is something such that it is not a tilt is not right.
sent1: if the caryatid is not mathematical then it is liberal. sent2: something tilts. sent3: the columnist is not aciculate. sent4: the caryatid does not play thuggery. sent5: the caryatid is a liberal. sent6: something does not play ploy if that it does play ploy and is collagenous does not hold. sent7: that the anathema plays ploy and it is not non-collagenous is not true. sent8: the reedbird is mathematical and/or not a tilt if the descent is not pyrographic. sent9: if something does not play ploy that it is pyrographic and it is bionics is not correct. sent10: the caryatid is aciculate. sent11: if the caryatid is mathematical then it does not tilt. sent12: if there is something such that the fact that it is pyrographic thing that is bionics is not true the descent is not pyrographic. sent13: if the caryatid is not mathematical then it is not aciculate and it is a liberal.
void -> assump1: Let's assume that the caryatid is not mathematical.; sent13 & assump1 -> int1: the caryatid is non-aciculate thing that is a liberal.; int1 -> int2: the caryatid is not aciculate.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the caryatid is mathematical.; int4 & sent11 -> int5: the caryatid is not a kind of a tilt.; int5 -> hypothesis;
there is something such that it is not an inscription.
sent9 -> int6: if the anathema does not play ploy the fact that it is pyrographic and it is bionics is not correct.; sent6 -> int7: the anathema does not play ploy if the fact that it does play ploy and is collagenous is wrong.; int7 & sent7 -> int8: the anathema does not play ploy.; int6 & int8 -> int9: the fact that the anathema is not non-pyrographic and is bionics is not right.; int9 -> int10: there is something such that that it is pyrographic and not non-bionics is not right.; int10 & sent12 -> int11: the descent is not pyrographic.; sent8 & int11 -> int12: the reedbird is mathematical or it is not a kind of a tilt or both.; int12 -> int13: either something is mathematical or it is not a tilt or both.;
$hypothesis$ = the fact that there is something such that it is not a tilt is not right. ; $context$ = sent1: if the caryatid is not mathematical then it is liberal. sent2: something tilts. sent3: the columnist is not aciculate. sent4: the caryatid does not play thuggery. sent5: the caryatid is a liberal. sent6: something does not play ploy if that it does play ploy and is collagenous does not hold. sent7: that the anathema plays ploy and it is not non-collagenous is not true. sent8: the reedbird is mathematical and/or not a tilt if the descent is not pyrographic. sent9: if something does not play ploy that it is pyrographic and it is bionics is not correct. sent10: the caryatid is aciculate. sent11: if the caryatid is mathematical then it does not tilt. sent12: if there is something such that the fact that it is pyrographic thing that is bionics is not true the descent is not pyrographic. sent13: if the caryatid is not mathematical then it is not aciculate and it is a liberal. ; $proof$ = 
void -> assump1: Let's assume that the caryatid is not mathematical.; sent13 & assump1 -> int1: the caryatid is non-aciculate thing that is a liberal.; int1 -> int2: the caryatid is not aciculate.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the caryatid is mathematical.; int4 & sent11 -> int5: the caryatid is not a kind of a tilt.; int5 -> hypothesis; __DISPROVED__