the accoutering overburdened happens.
sent1: the plusness yields the separationism. sent2: if the accoutering unknowingness occurs then the cawing happens. sent3: the indiscernibleness occurs. sent4: the basidiomycetousness occurs. sent5: if that the lowering and the peacefulness occurs is wrong the fact that the lowering does not occur is not false. sent6: the repoting greenfly happens. sent7: the icing happens if the crimping happens. sent8: the crudeness happens. sent9: if the atrioventricularness occurs the accoutering overburdened occurs. sent10: if the wondering happens then the accoutering prosthodontist happens. sent11: the trekking happens. sent12: the repoting gamboge happens if the fact that the repoting greenfly occurs is right. sent13: the gaffe occurs if the humaneness happens. sent14: the banging occurs if the seedlessness happens. sent15: the technical happens. sent16: that the repoting gamboge does not occur and the atrioventricularness does not occur is brought about by that the lowering does not occur. sent17: the monolatry happens. sent18: that the ahistoricalness happens yields that the blinding snarl-up happens. sent19: the encephalography happens. sent20: if the accoutering unknowingness happens the basketball occurs.
sent12 & sent6 -> int1: the repoting gamboge occurs.;
the accoutering overburdened does not occur.
$hypothesis$ = the accoutering overburdened happens. ; $context$ = sent1: the plusness yields the separationism. sent2: if the accoutering unknowingness occurs then the cawing happens. sent3: the indiscernibleness occurs. sent4: the basidiomycetousness occurs. sent5: if that the lowering and the peacefulness occurs is wrong the fact that the lowering does not occur is not false. sent6: the repoting greenfly happens. sent7: the icing happens if the crimping happens. sent8: the crudeness happens. sent9: if the atrioventricularness occurs the accoutering overburdened occurs. sent10: if the wondering happens then the accoutering prosthodontist happens. sent11: the trekking happens. sent12: the repoting gamboge happens if the fact that the repoting greenfly occurs is right. sent13: the gaffe occurs if the humaneness happens. sent14: the banging occurs if the seedlessness happens. sent15: the technical happens. sent16: that the repoting gamboge does not occur and the atrioventricularness does not occur is brought about by that the lowering does not occur. sent17: the monolatry happens. sent18: that the ahistoricalness happens yields that the blinding snarl-up happens. sent19: the encephalography happens. sent20: if the accoutering unknowingness happens the basketball occurs. ; $proof$ = 
sent12 & sent6 -> int1: the repoting gamboge occurs.; __UNKNOWN__