the sectarianness happens.
sent1: if the vaunt occurs the dysphoricness occurs. sent2: the fact that the hurling does not occur or the housekeeping credit occurs or both does not hold if the photicness does not occur. sent3: the congeeing occurs if the semiautobiographicalness does not occur. sent4: the sectarian occurs if the housekeeping formal does not occur. sent5: the housekeeping credit does not occur. sent6: the congeeing occurs. sent7: the prefecturalness happens and the cordlessness occurs. sent8: that the non-semiautobiographicalness and the dysphoricness happens is triggered by the vaunt. sent9: if the peregrination and the housekeeping formal happens then the photicness does not occur. sent10: that the vaunt occurs is true. sent11: the fact that the expelling does not occur or the oligarchicness happens or both is not correct. sent12: the housekeeping credit does not occur if the photicness does not occur. sent13: if the housekeeping formal occurs the sectarianness does not occur. sent14: the sectarianness does not occur or the housekeeping formal does not occur or both if the peregrination does not occur. sent15: if that the hurling does not occur and/or the housekeeping credit happens is wrong the freeze-drying handclap does not occur. sent16: the dysphoricness occurs. sent17: the freeze-drying handclap but not the housekeeping credit happens if the congeeing does not occur. sent18: if the dysphoricness does not occur the semiautobiographicalness happens and the congeeing does not occur. sent19: if the fact that the dysphoricness occurs and the freeze-drying Tayassuidae occurs is not right the dysphoricness does not occur. sent20: the sublunarness does not occur if the fact that that the makeup does not occur and/or the Norwegianness happens does not hold is correct. sent21: the peregrination occurs.
void -> assump1: Let's assume that the housekeeping formal occurs.; sent21 & assump1 -> int1: the fact that both the peregrination and the housekeeping formal occurs hold.; int1 & sent9 -> int2: the photicness does not occur.; int2 & sent2 -> int3: the fact that the hurl does not occur and/or the housekeeping credit happens is not true.; int3 & sent15 -> int4: the freeze-drying handclap does not occur.; sent8 & sent10 -> int5: both the non-semiautobiographicalness and the dysphoricness occurs.; int5 -> int6: the semiautobiographicalness does not occur.;
the sectarian does not occur.
$hypothesis$ = the sectarianness happens. ; $context$ = sent1: if the vaunt occurs the dysphoricness occurs. sent2: the fact that the hurling does not occur or the housekeeping credit occurs or both does not hold if the photicness does not occur. sent3: the congeeing occurs if the semiautobiographicalness does not occur. sent4: the sectarian occurs if the housekeeping formal does not occur. sent5: the housekeeping credit does not occur. sent6: the congeeing occurs. sent7: the prefecturalness happens and the cordlessness occurs. sent8: that the non-semiautobiographicalness and the dysphoricness happens is triggered by the vaunt. sent9: if the peregrination and the housekeeping formal happens then the photicness does not occur. sent10: that the vaunt occurs is true. sent11: the fact that the expelling does not occur or the oligarchicness happens or both is not correct. sent12: the housekeeping credit does not occur if the photicness does not occur. sent13: if the housekeeping formal occurs the sectarianness does not occur. sent14: the sectarianness does not occur or the housekeeping formal does not occur or both if the peregrination does not occur. sent15: if that the hurling does not occur and/or the housekeeping credit happens is wrong the freeze-drying handclap does not occur. sent16: the dysphoricness occurs. sent17: the freeze-drying handclap but not the housekeeping credit happens if the congeeing does not occur. sent18: if the dysphoricness does not occur the semiautobiographicalness happens and the congeeing does not occur. sent19: if the fact that the dysphoricness occurs and the freeze-drying Tayassuidae occurs is not right the dysphoricness does not occur. sent20: the sublunarness does not occur if the fact that that the makeup does not occur and/or the Norwegianness happens does not hold is correct. sent21: the peregrination occurs. ; $proof$ = 
void -> assump1: Let's assume that the housekeeping formal occurs.; sent21 & assump1 -> int1: the fact that both the peregrination and the housekeeping formal occurs hold.; int1 & sent9 -> int2: the photicness does not occur.; int2 & sent2 -> int3: the fact that the hurl does not occur and/or the housekeeping credit happens is not true.; int3 & sent15 -> int4: the freeze-drying handclap does not occur.; sent8 & sent10 -> int5: both the non-semiautobiographicalness and the dysphoricness occurs.; int5 -> int6: the semiautobiographicalness does not occur.; __UNKNOWN__