the kawaka is upper-class.
sent1: if a subtlety is not a kind of a Cambodian then it is upper-class. sent2: the fact that if the chest is a quarters the myocardium snips is not wrong. sent3: there exists something such that it is a snip. sent4: if something does stone sycamore and does snip the myocardium is a quarters. sent5: if the myocardium is a kind of a quarters then the kawaka is upper-class. sent6: the myocardium is demotic if the fact that it is demotic thing that is a sissoo is not correct. sent7: something is a subtlety but it is not a Cambodian if it is demotic. sent8: if the fact that something is not a quarters and stones sycamore is not right it is a snip. sent9: something stones sycamore and it is a snip. sent10: something stones sycamore. sent11: if the myocardium is upper-class the kawaka is a kind of a quarters.
sent9 & sent4 -> int1: the myocardium does quarter.; sent5 & int1 -> hypothesis;
the kawaka is not upper-class.
$hypothesis$ = the kawaka is upper-class. ; $context$ = sent1: if a subtlety is not a kind of a Cambodian then it is upper-class. sent2: the fact that if the chest is a quarters the myocardium snips is not wrong. sent3: there exists something such that it is a snip. sent4: if something does stone sycamore and does snip the myocardium is a quarters. sent5: if the myocardium is a kind of a quarters then the kawaka is upper-class. sent6: the myocardium is demotic if the fact that it is demotic thing that is a sissoo is not correct. sent7: something is a subtlety but it is not a Cambodian if it is demotic. sent8: if the fact that something is not a quarters and stones sycamore is not right it is a snip. sent9: something stones sycamore and it is a snip. sent10: something stones sycamore. sent11: if the myocardium is upper-class the kawaka is a kind of a quarters. ; $proof$ = 
sent9 & sent4 -> int1: the myocardium does quarter.; sent5 & int1 -> hypothesis; __PROVED__