the Ojibwa is indistinct if the educationist scrams Dagan.
sent1: the educationist is a colonoscopy if it does scram Dagan. sent2: the Ojibwa is indistinct if the seta decolonizes Saussure. sent3: if the fact that the chinaberry is unenthusiastic but it does not steal Antiguan is false the seta does decolonize Saussure. sent4: that something is unenthusiastic but it does not steal Antiguan does not hold if it does not houseclean. sent5: the seta is unenthusiastic. sent6: the talkie is not enthusiastic and it does scram Dagan if there is something such that it is not a colonoscopy. sent7: the Ojibwa decolonizes Saussure. sent8: the fact that something is unenthusiastic thing that steals Antiguan is wrong if it does not houseclean. sent9: something does houseclean but it is not a colonoscopy if that it does steal Antiguan is not false.
void -> assump1: Let's assume that the educationist does scram Dagan.; sent1 & assump1 -> int1: the educationist is a colonoscopy.; sent4 -> int2: if the fact that the chinaberry does not houseclean is not wrong then the fact that it is unenthusiastic and it does not steal Antiguan is false.;
the talkie is unenthusiastic.
sent9 -> int3: the educationist housecleans and is not a kind of a colonoscopy if it steals Antiguan.;
$hypothesis$ = the Ojibwa is indistinct if the educationist scrams Dagan. ; $context$ = sent1: the educationist is a colonoscopy if it does scram Dagan. sent2: the Ojibwa is indistinct if the seta decolonizes Saussure. sent3: if the fact that the chinaberry is unenthusiastic but it does not steal Antiguan is false the seta does decolonize Saussure. sent4: that something is unenthusiastic but it does not steal Antiguan does not hold if it does not houseclean. sent5: the seta is unenthusiastic. sent6: the talkie is not enthusiastic and it does scram Dagan if there is something such that it is not a colonoscopy. sent7: the Ojibwa decolonizes Saussure. sent8: the fact that something is unenthusiastic thing that steals Antiguan is wrong if it does not houseclean. sent9: something does houseclean but it is not a colonoscopy if that it does steal Antiguan is not false. ; $proof$ = 
void -> assump1: Let's assume that the educationist does scram Dagan.; sent1 & assump1 -> int1: the educationist is a colonoscopy.; sent4 -> int2: if the fact that the chinaberry does not houseclean is not wrong then the fact that it is unenthusiastic and it does not steal Antiguan is false.; __UNKNOWN__