the fact that the puree does not assemble panto is true.
sent1: something does assemble plugged if the fact that it is not a Rockford and it does not assemble plugged does not hold. sent2: something does refrain Casuaridae and is a kind of a ductility if it is not a custom-made. sent3: if something does not percuss then it does not gum. sent4: the fact that the fact that something is not a Rockford and does not assemble plugged is not true if it does not assemble panto is not incorrect. sent5: that the closeup does not assemble panto is true if that either the puree does gum or it does not percuss or both does not hold. sent6: if something that refrains opposition is not gloveless it is a custom-made. sent7: the fact that the puree is not a snakefly but it assembles plugged is not correct if that it assembles panto is true. sent8: everything is not a snakefly and it does assemble plugged. sent9: the stainer does not percuss if the entree is a ductility and it does refrain Casuaridae. sent10: if that the stainer does not gum is not wrong the puree assembles panto and is a Rockford. sent11: if the stainer is custom-made then the puree is custom-made. sent12: if something does refrain Casuaridae that it does gum and/or it does not percuss is not right. sent13: that the stainer refrains opposition but it is not gloveless is true.
void -> assump1: Let's assume that the puree does assemble panto.; sent7 & assump1 -> int1: the fact that the puree is not a snakefly but it assembles plugged does not hold.; sent8 -> int2: the puree is not a kind of a snakefly and assembles plugged.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the puree assembles panto.
sent3 -> int4: the stainer is not a gum if it does not percuss.;
$hypothesis$ = the fact that the puree does not assemble panto is true. ; $context$ = sent1: something does assemble plugged if the fact that it is not a Rockford and it does not assemble plugged does not hold. sent2: something does refrain Casuaridae and is a kind of a ductility if it is not a custom-made. sent3: if something does not percuss then it does not gum. sent4: the fact that the fact that something is not a Rockford and does not assemble plugged is not true if it does not assemble panto is not incorrect. sent5: that the closeup does not assemble panto is true if that either the puree does gum or it does not percuss or both does not hold. sent6: if something that refrains opposition is not gloveless it is a custom-made. sent7: the fact that the puree is not a snakefly but it assembles plugged is not correct if that it assembles panto is true. sent8: everything is not a snakefly and it does assemble plugged. sent9: the stainer does not percuss if the entree is a ductility and it does refrain Casuaridae. sent10: if that the stainer does not gum is not wrong the puree assembles panto and is a Rockford. sent11: if the stainer is custom-made then the puree is custom-made. sent12: if something does refrain Casuaridae that it does gum and/or it does not percuss is not right. sent13: that the stainer refrains opposition but it is not gloveless is true. ; $proof$ = 
void -> assump1: Let's assume that the puree does assemble panto.; sent7 & assump1 -> int1: the fact that the puree is not a snakefly but it assembles plugged does not hold.; sent8 -> int2: the puree is not a kind of a snakefly and assembles plugged.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__