there exists something such that if it does not genuflect and it does not decoy powerbroker then it rows.
sent1: there exists something such that if it is not an absolute and is not a kind of a taurine it defrosts. sent2: if the names is not a kind of a row and it is not a bister then the fact that it is a validation is true. sent3: if something does not genuflect and does not decoy powerbroker then it is a row. sent4: something builds if it is not ministerial and it does not decoy evangelicalism. sent5: there is something such that if it does not genuflect and decoys powerbroker then it is a kind of a row.
sent3 -> int1: if the names does not genuflect and does not decoy powerbroker it rows.; int1 -> hypothesis;
there is something such that if it is a kind of non-ministerial thing that does not decoy evangelicalism it builds.
sent4 -> int2: the powerbroker builds if it is not ministerial and it does not decoy evangelicalism.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it does not genuflect and it does not decoy powerbroker then it rows. ; $context$ = sent1: there exists something such that if it is not an absolute and is not a kind of a taurine it defrosts. sent2: if the names is not a kind of a row and it is not a bister then the fact that it is a validation is true. sent3: if something does not genuflect and does not decoy powerbroker then it is a row. sent4: something builds if it is not ministerial and it does not decoy evangelicalism. sent5: there is something such that if it does not genuflect and decoys powerbroker then it is a kind of a row. ; $proof$ = 
sent3 -> int1: if the names does not genuflect and does not decoy powerbroker it rows.; int1 -> hypothesis; __PROVED__