the sea is a kind of a Elli if the borstal does debrief citronwood.
sent1: something that is not parametric is a Elli and does not amplify roomette. sent2: the soloist is not a kind of an electric if the borstal debriefs citronwood. sent3: the borstal does debrief citronwood but it is not an electric. sent4: if that something is chaetal and is an electric does not hold then it is not parametric. sent5: the sea is a Elli if the soloist is parametric. sent6: the sea does not amplify roomette if it is not parametric. sent7: the sea is not parametric if it is not chaetal. sent8: the sea does not amplify roomette. sent9: if something is not chaetal the fact that it does debrief citronwood and is an electric is true.
void -> assump1: Let's assume that the borstal does debrief citronwood.; sent2 & assump1 -> int1: the soloist is not an electric.; sent4 -> int2: if the fact that the sea is chaetal and an electric is not true then it is not parametric.; sent1 -> int3: the sea is a Elli but it does not amplify roomette if it is not parametric.;
the breadstuff is electric.
sent9 -> int4: if that the breadstuff is not chaetal is not wrong it debriefs citronwood and is a kind of an electric.;
$hypothesis$ = the sea is a kind of a Elli if the borstal does debrief citronwood. ; $context$ = sent1: something that is not parametric is a Elli and does not amplify roomette. sent2: the soloist is not a kind of an electric if the borstal debriefs citronwood. sent3: the borstal does debrief citronwood but it is not an electric. sent4: if that something is chaetal and is an electric does not hold then it is not parametric. sent5: the sea is a Elli if the soloist is parametric. sent6: the sea does not amplify roomette if it is not parametric. sent7: the sea is not parametric if it is not chaetal. sent8: the sea does not amplify roomette. sent9: if something is not chaetal the fact that it does debrief citronwood and is an electric is true. ; $proof$ = 
void -> assump1: Let's assume that the borstal does debrief citronwood.; sent2 & assump1 -> int1: the soloist is not an electric.; sent4 -> int2: if the fact that the sea is chaetal and an electric is not true then it is not parametric.; sent1 -> int3: the sea is a Elli but it does not amplify roomette if it is not parametric.; __UNKNOWN__