the ambiance is not a kind of a Shari.
sent1: if that the scraping does pitch osmium is not false the osmium garners lumbago. sent2: the scraping is a kind of a Arcadian but it does not garner lumbago. sent3: if the scraping is a kind of a Arcadian that does not garner lumbago the ambiance garner lumbago. sent4: that the osmium is non-blastomycotic thing that pitches osmium is incorrect. sent5: the fact that the osmium is blastomycotic thing that does pitch osmium is not true. sent6: if something that garners lumbago is a doublet it is not a Shari. sent7: the fact that the scraping is not a kind of an interrupt and does garner lumbago is not right. sent8: the ambiance is a doublet if the fact that the osmium is non-blastomycotic but it pitches osmium is false. sent9: if the osmium garners lumbago the scraping pitches osmium.
sent8 & sent4 -> int1: the ambiance is a kind of a doublet.; sent3 & sent2 -> int2: the ambiance does garner lumbago.; int1 & int2 -> int3: the ambiance garners lumbago and it is a doublet.; sent6 -> int4: the fact that the ambiance is not a kind of a Shari is not false if it does garner lumbago and is a doublet.; int3 & int4 -> hypothesis;
$hypothesis$ = the ambiance is not a kind of a Shari. ; $context$ = sent1: if that the scraping does pitch osmium is not false the osmium garners lumbago. sent2: the scraping is a kind of a Arcadian but it does not garner lumbago. sent3: if the scraping is a kind of a Arcadian that does not garner lumbago the ambiance garner lumbago. sent4: that the osmium is non-blastomycotic thing that pitches osmium is incorrect. sent5: the fact that the osmium is blastomycotic thing that does pitch osmium is not true. sent6: if something that garners lumbago is a doublet it is not a Shari. sent7: the fact that the scraping is not a kind of an interrupt and does garner lumbago is not right. sent8: the ambiance is a doublet if the fact that the osmium is non-blastomycotic but it pitches osmium is false. sent9: if the osmium garners lumbago the scraping pitches osmium. ; $proof$ = 
sent8 & sent4 -> int1: the ambiance is a kind of a doublet.; sent3 & sent2 -> int2: the ambiance does garner lumbago.; int1 & int2 -> int3: the ambiance garners lumbago and it is a doublet.; sent6 -> int4: the fact that the ambiance is not a kind of a Shari is not false if it does garner lumbago and is a doublet.; int3 & int4 -> hypothesis; __PROVED__