the filling buttonwood occurs or the lightedness does not occur or both.
sent1: the fact that the filling Aruru does not occur and the filling betrayal does not occur is not true if the daciticness does not occur. sent2: the accrediting linage occurs and/or the waggery does not occur. sent3: the communications happens if the feminine occurs. sent4: if the Arthurianness does not occur the filling buttonwood occurs and/or the lighting does not occur. sent5: if that the slop occurs but the idealizing does not occur is wrong then the accrediting Niagara occurs. sent6: that the idealizing does not occur yields the fact that either that the proposing Kamet happens or the extermination or both is not incorrect. sent7: that the Arthurianness does not occur is brought about by that both the filling betrayal and the daciticness occurs. sent8: the filling Aruru and the filling betrayal happens. sent9: the proposing dimmer happens and/or the accrediting sixtieth occurs if the salivariness does not occur. sent10: if the accrediting Niagara occurs then the feminine happens. sent11: the filling Aruru occurs. sent12: the handicraft happens. sent13: if the abnegation does not occur then the kvetch occurs. sent14: the accrediting quartering does not occur. sent15: the fact that the slopping but not the idealizing happens is not true if the kvetch happens. sent16: the fact that the filling Aruru occurs is right if the fact that the filling Aruru does not occur and the filling betrayal does not occur is wrong. sent17: both the proposing delectability and the tastiness happens. sent18: the abnegation and the compiling occurs. sent19: if the communications occurs that the handicraft does not occur and the Arthurianness does not occur is not true.
sent8 -> int1: that the filling betrayal occurs is not wrong.;
that the filling buttonwood happens and/or the lighted does not occur is wrong.
$hypothesis$ = the filling buttonwood occurs or the lightedness does not occur or both. ; $context$ = sent1: the fact that the filling Aruru does not occur and the filling betrayal does not occur is not true if the daciticness does not occur. sent2: the accrediting linage occurs and/or the waggery does not occur. sent3: the communications happens if the feminine occurs. sent4: if the Arthurianness does not occur the filling buttonwood occurs and/or the lighting does not occur. sent5: if that the slop occurs but the idealizing does not occur is wrong then the accrediting Niagara occurs. sent6: that the idealizing does not occur yields the fact that either that the proposing Kamet happens or the extermination or both is not incorrect. sent7: that the Arthurianness does not occur is brought about by that both the filling betrayal and the daciticness occurs. sent8: the filling Aruru and the filling betrayal happens. sent9: the proposing dimmer happens and/or the accrediting sixtieth occurs if the salivariness does not occur. sent10: if the accrediting Niagara occurs then the feminine happens. sent11: the filling Aruru occurs. sent12: the handicraft happens. sent13: if the abnegation does not occur then the kvetch occurs. sent14: the accrediting quartering does not occur. sent15: the fact that the slopping but not the idealizing happens is not true if the kvetch happens. sent16: the fact that the filling Aruru occurs is right if the fact that the filling Aruru does not occur and the filling betrayal does not occur is wrong. sent17: both the proposing delectability and the tastiness happens. sent18: the abnegation and the compiling occurs. sent19: if the communications occurs that the handicraft does not occur and the Arthurianness does not occur is not true. ; $proof$ = 
sent8 -> int1: that the filling betrayal occurs is not wrong.; __UNKNOWN__