the penicillin-resistantness and the greensideness occurs.
sent1: if the praetorship happens the penicillin-resistantness occurs. sent2: if the gala occurs either the incorrectness does not occur or the praetorship does not occur or both. sent3: if the frightening embarrassment does not occur then the glitter and the report happens. sent4: the incorrectness does not occur if the fact that the stativeness and the incorrectness happens does not hold. sent5: the Arameanness happens. sent6: that the gala does not occur hold. sent7: that the posting measured does not occur and the avascularness does not occur prevents that the shrugging does not occur. sent8: if the legalization occurs the iridectomy happens. sent9: that the contortion but not the frightening FHLMC happens is false if the diving happens. sent10: the fact that the univalentness does not occur and the flaming does not occur is false if the Aramean occurs. sent11: the diving occurs if that the univalentness does not occur and the flaming does not occur is incorrect. sent12: that the praetorship occurs is triggered by that the non-hyaloplasmicness and the non-incorrectness happens. sent13: that the carding groove does not occur causes that the legalization and the hydraulicness occurs. sent14: that the reporting happens is true. sent15: the fact that the frightening embarrassment happens is right. sent16: the hyaloplasmicness does not occur if the report and the frightening embarrassment happens. sent17: if the fact that the contortion happens but the frightening FHLMC does not occur is not true the carding groove does not occur. sent18: if the reporting does not occur the fact that the penicillin-resistantness and the greensideness happens does not hold. sent19: that the stativeness and the incorrectness happens is not true if the gala does not occur.
sent14 & sent15 -> int1: both the reporting and the frightening embarrassment happens.; int1 & sent16 -> int2: the hyaloplasmicness does not occur.; sent19 & sent6 -> int3: the fact that the stativeness happens and the incorrectness happens does not hold.; sent4 & int3 -> int4: the incorrectness does not occur.; int2 & int4 -> int5: both the non-hyaloplasmicness and the correctness happens.; int5 & sent12 -> int6: the praetorship occurs.; int6 & sent1 -> int7: that the penicillin-resistantness happens is right.;
the glittering occurs.
$hypothesis$ = the penicillin-resistantness and the greensideness occurs. ; $context$ = sent1: if the praetorship happens the penicillin-resistantness occurs. sent2: if the gala occurs either the incorrectness does not occur or the praetorship does not occur or both. sent3: if the frightening embarrassment does not occur then the glitter and the report happens. sent4: the incorrectness does not occur if the fact that the stativeness and the incorrectness happens does not hold. sent5: the Arameanness happens. sent6: that the gala does not occur hold. sent7: that the posting measured does not occur and the avascularness does not occur prevents that the shrugging does not occur. sent8: if the legalization occurs the iridectomy happens. sent9: that the contortion but not the frightening FHLMC happens is false if the diving happens. sent10: the fact that the univalentness does not occur and the flaming does not occur is false if the Aramean occurs. sent11: the diving occurs if that the univalentness does not occur and the flaming does not occur is incorrect. sent12: that the praetorship occurs is triggered by that the non-hyaloplasmicness and the non-incorrectness happens. sent13: that the carding groove does not occur causes that the legalization and the hydraulicness occurs. sent14: that the reporting happens is true. sent15: the fact that the frightening embarrassment happens is right. sent16: the hyaloplasmicness does not occur if the report and the frightening embarrassment happens. sent17: if the fact that the contortion happens but the frightening FHLMC does not occur is not true the carding groove does not occur. sent18: if the reporting does not occur the fact that the penicillin-resistantness and the greensideness happens does not hold. sent19: that the stativeness and the incorrectness happens is not true if the gala does not occur. ; $proof$ = 
sent14 & sent15 -> int1: both the reporting and the frightening embarrassment happens.; int1 & sent16 -> int2: the hyaloplasmicness does not occur.; sent19 & sent6 -> int3: the fact that the stativeness happens and the incorrectness happens does not hold.; sent4 & int3 -> int4: the incorrectness does not occur.; int2 & int4 -> int5: both the non-hyaloplasmicness and the correctness happens.; int5 & sent12 -> int6: the praetorship occurs.; int6 & sent1 -> int7: that the penicillin-resistantness happens is right.; __UNKNOWN__