the origin is nonmetallic.
sent1: if the alley does blacklist consortium then it is oropharyngeal. sent2: the taxpayer is pancreatic. sent3: the alley does blacklist consortium. sent4: The consortium does blacklist alley. sent5: if the staff is a kind of a bulge it is veinal. sent6: the alley is not a kind of an underestimate. sent7: there exists something such that it is oropharyngeal. sent8: if there exists something such that it does stave alley and it is oropharyngeal the origin is not nonmetallic. sent9: the moraine does not stave alley if it is oropharyngeal thing that blacklists consortium. sent10: if something is nonmetallic then it is not oropharyngeal. sent11: something staves alley. sent12: the alley staves alley if the fact that it is pancreatic is not incorrect. sent13: the alley is somatosensory and backhands. sent14: if that something is not oropharyngeal hold then the fact that it does stave alley and it is not pancreatic does not hold. sent15: the alley is pancreatic.
sent12 & sent15 -> int1: the alley does stave alley.; sent1 & sent3 -> int2: the fact that the alley is not non-oropharyngeal is not incorrect.; int1 & int2 -> int3: the alley staves alley and it is oropharyngeal.; int3 -> int4: something does stave alley and it is oropharyngeal.; int4 & sent8 -> hypothesis;
the publication blacklists consortium.
sent14 -> int5: if the publication is not oropharyngeal then the fact that it staves alley and it is not pancreatic is not true.; sent10 -> int6: the publication is not oropharyngeal if it is nonmetallic.; sent13 -> int7: there exists something such that it is somatosensory and it is a backhanded.;
$hypothesis$ = the origin is nonmetallic. ; $context$ = sent1: if the alley does blacklist consortium then it is oropharyngeal. sent2: the taxpayer is pancreatic. sent3: the alley does blacklist consortium. sent4: The consortium does blacklist alley. sent5: if the staff is a kind of a bulge it is veinal. sent6: the alley is not a kind of an underestimate. sent7: there exists something such that it is oropharyngeal. sent8: if there exists something such that it does stave alley and it is oropharyngeal the origin is not nonmetallic. sent9: the moraine does not stave alley if it is oropharyngeal thing that blacklists consortium. sent10: if something is nonmetallic then it is not oropharyngeal. sent11: something staves alley. sent12: the alley staves alley if the fact that it is pancreatic is not incorrect. sent13: the alley is somatosensory and backhands. sent14: if that something is not oropharyngeal hold then the fact that it does stave alley and it is not pancreatic does not hold. sent15: the alley is pancreatic. ; $proof$ = 
sent12 & sent15 -> int1: the alley does stave alley.; sent1 & sent3 -> int2: the fact that the alley is not non-oropharyngeal is not incorrect.; int1 & int2 -> int3: the alley staves alley and it is oropharyngeal.; int3 -> int4: something does stave alley and it is oropharyngeal.; int4 & sent8 -> hypothesis; __DISPROVED__