if the Lutheran does yield hadrosaur then the councilwoman is a alkylbenzenesulfonate.
sent1: something yields hadrosaur. sent2: there exists something such that it is a alkylbenzenesulfonate and is a Arnhem. sent3: the councilwoman is a kind of a Arnhem. sent4: the stockade does yield hadrosaur and is a broad. sent5: the fact that the Lutheran is a kind of a alkylbenzenesulfonate hold if the councilwoman does yield hadrosaur. sent6: if something is a kind of a Arnhem and it does yield hadrosaur then that the councilwoman is a kind of a alkylbenzenesulfonate is correct. sent7: the Lutheran is a Arnhem. sent8: that the saurischian yields hadrosaur is not wrong. sent9: the councilwoman is a phonetician. sent10: the councilwoman is a wallow and it is seaworthy. sent11: there is something such that it is a kind of a Arnhem. sent12: the councilwoman does disembowel horsewoman. sent13: the Lutheran is a kind of a alkylbenzenesulfonate if there is something such that it is a Arnhem and it yields hadrosaur. sent14: there exists something such that it is a Ute.
void -> assump1: Let's assume that the Lutheran yields hadrosaur.; sent7 & assump1 -> int1: the Lutheran is a Arnhem and it does yield hadrosaur.; int1 -> int2: there exists something such that it is a kind of a Arnhem that yields hadrosaur.; int2 & sent6 -> int3: the councilwoman is a alkylbenzenesulfonate.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the Lutheran does yield hadrosaur then the councilwoman is a alkylbenzenesulfonate. ; $context$ = sent1: something yields hadrosaur. sent2: there exists something such that it is a alkylbenzenesulfonate and is a Arnhem. sent3: the councilwoman is a kind of a Arnhem. sent4: the stockade does yield hadrosaur and is a broad. sent5: the fact that the Lutheran is a kind of a alkylbenzenesulfonate hold if the councilwoman does yield hadrosaur. sent6: if something is a kind of a Arnhem and it does yield hadrosaur then that the councilwoman is a kind of a alkylbenzenesulfonate is correct. sent7: the Lutheran is a Arnhem. sent8: that the saurischian yields hadrosaur is not wrong. sent9: the councilwoman is a phonetician. sent10: the councilwoman is a wallow and it is seaworthy. sent11: there is something such that it is a kind of a Arnhem. sent12: the councilwoman does disembowel horsewoman. sent13: the Lutheran is a kind of a alkylbenzenesulfonate if there is something such that it is a Arnhem and it yields hadrosaur. sent14: there exists something such that it is a Ute. ; $proof$ = 
void -> assump1: Let's assume that the Lutheran yields hadrosaur.; sent7 & assump1 -> int1: the Lutheran is a Arnhem and it does yield hadrosaur.; int1 -> int2: there exists something such that it is a kind of a Arnhem that yields hadrosaur.; int2 & sent6 -> int3: the councilwoman is a alkylbenzenesulfonate.; [assump1] & int3 -> hypothesis; __PROVED__