the analphabet is not Orthodox.
sent1: if the fact that either the cornstarch does coach desert or it is not a kind of a spatter or both is not right the hide is a stressor. sent2: the langur does coach desert. sent3: the hide is benzylic. sent4: the analphabet is non-Orthodox if the hide is both not a spatter and a stressor. sent5: if the fact that something is not a kind of a fighter and is rationalist is not correct it is a fighter. sent6: something is Orthodox if it is a kind of a stressor. sent7: something is not a kind of a spatter if it is a fighter. sent8: the bookmobile is benzylic. sent9: something is a stressor if it spatters. sent10: that the hide coaches desert and/or is not benzylic does not hold. sent11: if something does smell hemp then the fact that it is a kind of a huarache hold. sent12: there is something such that the fact that it does not read lodgment and it is rationalist is incorrect. sent13: that something is Orthodox is correct if it does spatter. sent14: the cornstarch is a kind of a spatter if that the hide coaches desert and/or is not benzylic does not hold. sent15: something is a kind of a spatter if it is Orthodox. sent16: the cornstarch spatters if that the hide does coach desert and/or is benzylic is not correct. sent17: the analphabet is a stressor if the cornstarch is a spatter.
sent14 & sent10 -> int1: the cornstarch does spatter.; int1 & sent17 -> int2: the analphabet is a kind of a stressor.; sent6 -> int3: the analphabet is Orthodox if it is a kind of a stressor.; int2 & int3 -> hypothesis;
that the analphabet is not Orthodox is right.
sent7 -> int4: if the hide is a kind of a fighter it does not spatter.; sent5 -> int5: the fact that the hide is a kind of a fighter is not false if that it is both not a fighter and rationalist is wrong.;
$hypothesis$ = the analphabet is not Orthodox. ; $context$ = sent1: if the fact that either the cornstarch does coach desert or it is not a kind of a spatter or both is not right the hide is a stressor. sent2: the langur does coach desert. sent3: the hide is benzylic. sent4: the analphabet is non-Orthodox if the hide is both not a spatter and a stressor. sent5: if the fact that something is not a kind of a fighter and is rationalist is not correct it is a fighter. sent6: something is Orthodox if it is a kind of a stressor. sent7: something is not a kind of a spatter if it is a fighter. sent8: the bookmobile is benzylic. sent9: something is a stressor if it spatters. sent10: that the hide coaches desert and/or is not benzylic does not hold. sent11: if something does smell hemp then the fact that it is a kind of a huarache hold. sent12: there is something such that the fact that it does not read lodgment and it is rationalist is incorrect. sent13: that something is Orthodox is correct if it does spatter. sent14: the cornstarch is a kind of a spatter if that the hide coaches desert and/or is not benzylic does not hold. sent15: something is a kind of a spatter if it is Orthodox. sent16: the cornstarch spatters if that the hide does coach desert and/or is benzylic is not correct. sent17: the analphabet is a stressor if the cornstarch is a spatter. ; $proof$ = 
sent14 & sent10 -> int1: the cornstarch does spatter.; int1 & sent17 -> int2: the analphabet is a kind of a stressor.; sent6 -> int3: the analphabet is Orthodox if it is a kind of a stressor.; int2 & int3 -> hypothesis; __DISPROVED__