the representation does not occur.
sent1: the Victorianness occurs. sent2: if the fact that the Algerianness but not the disguise occurs is not true the representation happens. sent3: if the fact that the ripple does not occur and the occidentalizing Megachiroptera happens is incorrect the Algerian happens. sent4: that the horripilating pear does not occur is prevented by that the quickie does not occur. sent5: if the quickie does not occur then the emirate does not occur but the horripilating pear happens. sent6: that the emirate does not occur and the horripilating pear occurs prevents the representation. sent7: that the face-off happens is not wrong. sent8: the upper-classness occurs. sent9: that that the horripilating erroneousness and the rejecting occurs is not incorrect does not hold. sent10: the horripilating pear occurs. sent11: that the Algerianness occurs is brought about by the ripple. sent12: that the quickie does not occur is triggered by that the disguising occurs. sent13: that the Algerian does not occur is brought about by the rejecting. sent14: the fact that the ripple and the occidentalizing Megachiroptera occurs is wrong. sent15: that that the ripple does not occur and the occidentalizing Megachiroptera occurs is not right hold. sent16: not the lowness but the questionableness happens if that the expunction does not occur is not incorrect. sent17: if that the horripilating erroneousness occurs but the rejecting does not occur is not right the Algerian does not occur. sent18: the fact that the rejecting does not occur hold.
void -> assump1: Let's assume that the fact that the horripilating erroneousness but not the rejecting happens does not hold.; sent17 & assump1 -> int1: the Algerian does not occur.; sent3 & sent15 -> int2: the Algerian occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the horripilating erroneousness happens and the rejecting does not occur.; int4 -> int5: the horripilating erroneousness occurs.; int5 -> int6: the disguise and/or the horripilating erroneousness occurs.;
the representation happens.
$hypothesis$ = the representation does not occur. ; $context$ = sent1: the Victorianness occurs. sent2: if the fact that the Algerianness but not the disguise occurs is not true the representation happens. sent3: if the fact that the ripple does not occur and the occidentalizing Megachiroptera happens is incorrect the Algerian happens. sent4: that the horripilating pear does not occur is prevented by that the quickie does not occur. sent5: if the quickie does not occur then the emirate does not occur but the horripilating pear happens. sent6: that the emirate does not occur and the horripilating pear occurs prevents the representation. sent7: that the face-off happens is not wrong. sent8: the upper-classness occurs. sent9: that that the horripilating erroneousness and the rejecting occurs is not incorrect does not hold. sent10: the horripilating pear occurs. sent11: that the Algerianness occurs is brought about by the ripple. sent12: that the quickie does not occur is triggered by that the disguising occurs. sent13: that the Algerian does not occur is brought about by the rejecting. sent14: the fact that the ripple and the occidentalizing Megachiroptera occurs is wrong. sent15: that that the ripple does not occur and the occidentalizing Megachiroptera occurs is not right hold. sent16: not the lowness but the questionableness happens if that the expunction does not occur is not incorrect. sent17: if that the horripilating erroneousness occurs but the rejecting does not occur is not right the Algerian does not occur. sent18: the fact that the rejecting does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the horripilating erroneousness but not the rejecting happens does not hold.; sent17 & assump1 -> int1: the Algerian does not occur.; sent3 & sent15 -> int2: the Algerian occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the horripilating erroneousness happens and the rejecting does not occur.; int4 -> int5: the horripilating erroneousness occurs.; int5 -> int6: the disguise and/or the horripilating erroneousness occurs.; __UNKNOWN__