the caudex is a kind of a pousse-cafe.
sent1: everything reorients solvate. sent2: the subcontractor does reorient solvate. sent3: the caudex is not a e-mail if it is not rigid. sent4: there exists nothing that does not reorient solvate or does outnumber Raphanus or both. sent5: the caudex does reorient solvate if the fact that the picot is not rigid is not wrong. sent6: if something that is not a hydrography is not a e-mail then the fact that it is a pousse-cafe hold. sent7: if the fact that the subcontractor does not reorient solvate and/or outnumbers Raphanus is incorrect then the caudex is not rigid. sent8: something is not a kind of a e-mail if it is not rigid. sent9: something is not a e-mail if it is a kind of a hydrography.
sent4 -> int1: the fact that the subcontractor does not reorient solvate and/or it does outnumber Raphanus does not hold.; int1 & sent7 -> int2: the caudex is not rigid.; sent6 -> int3: if the caudex is not a kind of a hydrography and it is not a kind of a e-mail it is a pousse-cafe.;
the fact that the caudex is not a pousse-cafe is not wrong.
sent9 -> int4: the caudex is not a e-mail if it is a kind of a hydrography.;
$hypothesis$ = the caudex is a kind of a pousse-cafe. ; $context$ = sent1: everything reorients solvate. sent2: the subcontractor does reorient solvate. sent3: the caudex is not a e-mail if it is not rigid. sent4: there exists nothing that does not reorient solvate or does outnumber Raphanus or both. sent5: the caudex does reorient solvate if the fact that the picot is not rigid is not wrong. sent6: if something that is not a hydrography is not a e-mail then the fact that it is a pousse-cafe hold. sent7: if the fact that the subcontractor does not reorient solvate and/or outnumbers Raphanus is incorrect then the caudex is not rigid. sent8: something is not a kind of a e-mail if it is not rigid. sent9: something is not a e-mail if it is a kind of a hydrography. ; $proof$ = 
sent4 -> int1: the fact that the subcontractor does not reorient solvate and/or it does outnumber Raphanus does not hold.; int1 & sent7 -> int2: the caudex is not rigid.; sent6 -> int3: if the caudex is not a kind of a hydrography and it is not a kind of a e-mail it is a pousse-cafe.; __UNKNOWN__