the fact that the secretarialness occurs and the ricing youth-on-age happens is not true.
sent1: the rectalness does not occur. sent2: either the unplayfulness occurs or the lotting happens or both if the ricing Bombycidae does not occur. sent3: if the Tamilness does not occur that the secretarialness happens and the ricing youth-on-age happens is not true. sent4: the ricing youth-on-age occurs if the fact that the charming Citroncirus does not occur and the ricing youth-on-age does not occur is false. sent5: if the litany does not occur then the aponeuroticness happens and the ricing sucker happens. sent6: the charming eyecup happens if the unplayfulness happens. sent7: if the fact that the litany happens and the snagging karma happens does not hold then the litany does not occur. sent8: if the fact that the charming Citroncirus happens and the charming eyecup does not occur is incorrect the fact that the ricing sucker does not occur hold. sent9: the lovableness happens. sent10: the attorneyship results in that the non-lovableness and the Tamil occurs. sent11: the fact that both the ricing Bombycidae and the non-aponeuroticness occurs is not correct if the ricing sucker does not occur. sent12: the lotting happens and the unplayfulness does not occur. sent13: that the secretarialness happens is triggered by the ricing sucker. sent14: that not the sibilating but the lovableness happens prevents that the Tamilness happens. sent15: if the charming eyecup does not occur the fact that the lotting occurs and the unplayfulness occurs is false. sent16: that the charming Citroncirus does not occur and the ricing youth-on-age does not occur is not right if the charming eyecup happens. sent17: that the lotting happens and the unplayfulness does not occur does not hold if the charming eyecup does not occur.
void -> assump1: Let's assume that the charming Citroncirus but not the charming eyecup occurs.; assump1 -> int1: the charming eyecup does not occur.; int1 & sent17 -> int2: the fact that the lot happens and the unplayfulness does not occur does not hold.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the charming Citroncirus occurs and the charming eyecup does not occur does not hold.; int4 & sent8 -> int5: the ricing sucker does not occur.; int5 & sent11 -> int6: the fact that the ricing Bombycidae and the non-aponeuroticness occurs is not right.;
both the secretarialness and the ricing youth-on-age occurs.
$hypothesis$ = the fact that the secretarialness occurs and the ricing youth-on-age happens is not true. ; $context$ = sent1: the rectalness does not occur. sent2: either the unplayfulness occurs or the lotting happens or both if the ricing Bombycidae does not occur. sent3: if the Tamilness does not occur that the secretarialness happens and the ricing youth-on-age happens is not true. sent4: the ricing youth-on-age occurs if the fact that the charming Citroncirus does not occur and the ricing youth-on-age does not occur is false. sent5: if the litany does not occur then the aponeuroticness happens and the ricing sucker happens. sent6: the charming eyecup happens if the unplayfulness happens. sent7: if the fact that the litany happens and the snagging karma happens does not hold then the litany does not occur. sent8: if the fact that the charming Citroncirus happens and the charming eyecup does not occur is incorrect the fact that the ricing sucker does not occur hold. sent9: the lovableness happens. sent10: the attorneyship results in that the non-lovableness and the Tamil occurs. sent11: the fact that both the ricing Bombycidae and the non-aponeuroticness occurs is not correct if the ricing sucker does not occur. sent12: the lotting happens and the unplayfulness does not occur. sent13: that the secretarialness happens is triggered by the ricing sucker. sent14: that not the sibilating but the lovableness happens prevents that the Tamilness happens. sent15: if the charming eyecup does not occur the fact that the lotting occurs and the unplayfulness occurs is false. sent16: that the charming Citroncirus does not occur and the ricing youth-on-age does not occur is not right if the charming eyecup happens. sent17: that the lotting happens and the unplayfulness does not occur does not hold if the charming eyecup does not occur. ; $proof$ = 
void -> assump1: Let's assume that the charming Citroncirus but not the charming eyecup occurs.; assump1 -> int1: the charming eyecup does not occur.; int1 & sent17 -> int2: the fact that the lot happens and the unplayfulness does not occur does not hold.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the charming Citroncirus occurs and the charming eyecup does not occur does not hold.; int4 & sent8 -> int5: the ricing sucker does not occur.; int5 & sent11 -> int6: the fact that the ricing Bombycidae and the non-aponeuroticness occurs is not right.; __UNKNOWN__