the troche does shoplift and it metabolizes omeprazole.
sent1: if the troche is diadromous it metabolizes omeprazole. sent2: the fact that the troche squires Uhland and it is omissive is not right. sent3: if something is a Falstaff it does metabolize omeprazole. sent4: if the fact that the troche does squire Uhland and it is not non-omissive is not true then it does not squire Uhland. sent5: the expurgator does not squire Uhland if that it squire Uhland and is benevolent is false. sent6: if there are omissive things then the troche squires Uhland or it is omissive or both. sent7: if something does not squire Uhland it does shoplift. sent8: if the fact that something is not distant is not false it is a kind of a pensioner. sent9: the omeprazole does squire kniphofia if it is not non-diadromous. sent10: if there are diadromous things the troche is a Falstaff and/or is diadromous. sent11: the croaker is a Falstaff. sent12: there is something such that it is diadromous.
sent7 -> int1: the troche shoplifts if it does not squire Uhland.; sent4 & sent2 -> int2: the troche does not squire Uhland.; int1 & int2 -> int3: the troche shoplifts.; sent12 & sent10 -> int4: the troche is a Falstaff and/or it is diadromous.; sent3 -> int5: if that the troche is a Falstaff is not false then it does metabolize omeprazole.; int4 & int5 & sent1 -> int6: the troche metabolizes omeprazole.; int3 & int6 -> hypothesis;
$hypothesis$ = the troche does shoplift and it metabolizes omeprazole. ; $context$ = sent1: if the troche is diadromous it metabolizes omeprazole. sent2: the fact that the troche squires Uhland and it is omissive is not right. sent3: if something is a Falstaff it does metabolize omeprazole. sent4: if the fact that the troche does squire Uhland and it is not non-omissive is not true then it does not squire Uhland. sent5: the expurgator does not squire Uhland if that it squire Uhland and is benevolent is false. sent6: if there are omissive things then the troche squires Uhland or it is omissive or both. sent7: if something does not squire Uhland it does shoplift. sent8: if the fact that something is not distant is not false it is a kind of a pensioner. sent9: the omeprazole does squire kniphofia if it is not non-diadromous. sent10: if there are diadromous things the troche is a Falstaff and/or is diadromous. sent11: the croaker is a Falstaff. sent12: there is something such that it is diadromous. ; $proof$ = 
sent7 -> int1: the troche shoplifts if it does not squire Uhland.; sent4 & sent2 -> int2: the troche does not squire Uhland.; int1 & int2 -> int3: the troche shoplifts.; sent12 & sent10 -> int4: the troche is a Falstaff and/or it is diadromous.; sent3 -> int5: if that the troche is a Falstaff is not false then it does metabolize omeprazole.; int4 & int5 & sent1 -> int6: the troche metabolizes omeprazole.; int3 & int6 -> hypothesis; __PROVED__