that the Virgo is not a kind of a hill and does not pitch Orleanist is not right.
sent1: the macadam is both a hill and not a spendthrift if the urocele is alkalotic. sent2: if the urocele is a spendthrift the Orleanist is alkalotic and not undependable. sent3: that the Virgo is not a spendthrift is not incorrect if the urocele is a kind of a spendthrift that subtilizes protriptyline. sent4: if the macadam is not a hill the fact that the Virgo is not a hill and does not pitch Orleanist is incorrect. sent5: something is a spendthrift and it subtilizes protriptyline if it does not chin. sent6: if the fact that something does subtilize protriptyline and it is a spendthrift is wrong it is not a hill. sent7: if the fact that something is a kind of a chin that pitches Orleanist is wrong then it is not a kind of a hill. sent8: the urocele does not hill. sent9: something is not a hill and it does not pitch Orleanist if it is not a kind of a spendthrift. sent10: the Orleanist is not a chin. sent11: if the Orleanist does not chin the fact that it is alkalotic and it is not undependable is not right. sent12: if the urocele is not a spendthrift that the macadam does subtilize protriptyline and is a spendthrift is not correct. sent13: that the macadam is not a kind of a hill and does pitch Orleanist is not correct.
void -> assump1: Let's assume that the urocele is a kind of a spendthrift.; sent2 & assump1 -> int1: the Orleanist is a kind of alkalotic thing that is not undependable.; sent11 & sent10 -> int2: that the Orleanist is not non-alkalotic and not undependable does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the urocele is not a spendthrift.; int4 & sent12 -> int5: the fact that the macadam subtilizes protriptyline and it is a spendthrift is false.; sent6 -> int6: if that the macadam does subtilize protriptyline and it is a spendthrift is not correct it does not hill.; int5 & int6 -> int7: the macadam is not a hill.; int7 & sent4 -> hypothesis;
the Virgo is not a kind of a hill and it does not pitch Orleanist.
sent9 -> int8: if the Virgo is not a spendthrift it is not a kind of a hill and does not pitch Orleanist.; sent5 -> int9: if the urocele is not a chin it is a spendthrift and subtilizes protriptyline.;
$hypothesis$ = that the Virgo is not a kind of a hill and does not pitch Orleanist is not right. ; $context$ = sent1: the macadam is both a hill and not a spendthrift if the urocele is alkalotic. sent2: if the urocele is a spendthrift the Orleanist is alkalotic and not undependable. sent3: that the Virgo is not a spendthrift is not incorrect if the urocele is a kind of a spendthrift that subtilizes protriptyline. sent4: if the macadam is not a hill the fact that the Virgo is not a hill and does not pitch Orleanist is incorrect. sent5: something is a spendthrift and it subtilizes protriptyline if it does not chin. sent6: if the fact that something does subtilize protriptyline and it is a spendthrift is wrong it is not a hill. sent7: if the fact that something is a kind of a chin that pitches Orleanist is wrong then it is not a kind of a hill. sent8: the urocele does not hill. sent9: something is not a hill and it does not pitch Orleanist if it is not a kind of a spendthrift. sent10: the Orleanist is not a chin. sent11: if the Orleanist does not chin the fact that it is alkalotic and it is not undependable is not right. sent12: if the urocele is not a spendthrift that the macadam does subtilize protriptyline and is a spendthrift is not correct. sent13: that the macadam is not a kind of a hill and does pitch Orleanist is not correct. ; $proof$ = 
void -> assump1: Let's assume that the urocele is a kind of a spendthrift.; sent2 & assump1 -> int1: the Orleanist is a kind of alkalotic thing that is not undependable.; sent11 & sent10 -> int2: that the Orleanist is not non-alkalotic and not undependable does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the urocele is not a spendthrift.; int4 & sent12 -> int5: the fact that the macadam subtilizes protriptyline and it is a spendthrift is false.; sent6 -> int6: if that the macadam does subtilize protriptyline and it is a spendthrift is not correct it does not hill.; int5 & int6 -> int7: the macadam is not a hill.; int7 & sent4 -> hypothesis; __PROVED__