there is something such that if it is a kind of a subsidiary then it is not a kind of a Epimedium and does not concretize Callicebus.
sent1: if something is a subsidiary it is not a Epimedium and does not concretize Callicebus. sent2: there is something such that if the fact that it floats is true then it is glottochronological thing that is not a Occidental. sent3: there exists something such that if it is a zeolite it is not unimpressionable.
sent1 -> int1: if the linguist is a subsidiary then it is not a kind of a Epimedium and does not concretize Callicebus.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a subsidiary then it is not a kind of a Epimedium and does not concretize Callicebus. ; $context$ = sent1: if something is a subsidiary it is not a Epimedium and does not concretize Callicebus. sent2: there is something such that if the fact that it floats is true then it is glottochronological thing that is not a Occidental. sent3: there exists something such that if it is a zeolite it is not unimpressionable. ; $proof$ = 
sent1 -> int1: if the linguist is a subsidiary then it is not a kind of a Epimedium and does not concretize Callicebus.; int1 -> hypothesis; __PROVED__