the cybercafe does not chain-smoke.
sent1: the cybercafe does not mooch seek if the pass-through is a concentrate. sent2: the pass-through is not non-short-order. sent3: if something is a kind of a cefuroxime that does not conceal that it is a concentrate hold. sent4: if something that is not a cefuroxime does conceal it does concentrate. sent5: something that does not concentrate and does not mooch seek does not chain-smoke. sent6: the cybercafe does not mooch seek. sent7: if the pass-through is a concentrate then the cybercafe does not chain-smoke and it does not mooch seek. sent8: if the pass-through is a cefuroxime that does not conceal then it is a concentrate. sent9: if the cybercafe is a strophanthin the pigeon is short-order. sent10: if the pass-through is short-order it is not a kind of a cefuroxime and does not conceal. sent11: something does concentrate if it is not a cefuroxime and it does not conceal. sent12: if the pass-through is not a kind of a cefuroxime and does conceal the fact that it is a concentrate is correct.
sent11 -> int1: if the pass-through is not a cefuroxime and it does not conceal it concentrates.; sent10 & sent2 -> int2: the pass-through is not a kind of a cefuroxime and does not conceal.; int1 & int2 -> int3: the pass-through concentrates.; int3 & sent7 -> int4: the cybercafe does not chain-smoke and does not mooch seek.; int4 -> hypothesis;
the pigeon does not chain-smoke.
sent5 -> int5: if the pigeon does not concentrate and it does not mooch seek then it does not chain-smoke.;
$hypothesis$ = the cybercafe does not chain-smoke. ; $context$ = sent1: the cybercafe does not mooch seek if the pass-through is a concentrate. sent2: the pass-through is not non-short-order. sent3: if something is a kind of a cefuroxime that does not conceal that it is a concentrate hold. sent4: if something that is not a cefuroxime does conceal it does concentrate. sent5: something that does not concentrate and does not mooch seek does not chain-smoke. sent6: the cybercafe does not mooch seek. sent7: if the pass-through is a concentrate then the cybercafe does not chain-smoke and it does not mooch seek. sent8: if the pass-through is a cefuroxime that does not conceal then it is a concentrate. sent9: if the cybercafe is a strophanthin the pigeon is short-order. sent10: if the pass-through is short-order it is not a kind of a cefuroxime and does not conceal. sent11: something does concentrate if it is not a cefuroxime and it does not conceal. sent12: if the pass-through is not a kind of a cefuroxime and does conceal the fact that it is a concentrate is correct. ; $proof$ = 
sent11 -> int1: if the pass-through is not a cefuroxime and it does not conceal it concentrates.; sent10 & sent2 -> int2: the pass-through is not a kind of a cefuroxime and does not conceal.; int1 & int2 -> int3: the pass-through concentrates.; int3 & sent7 -> int4: the cybercafe does not chain-smoke and does not mooch seek.; int4 -> hypothesis; __PROVED__