the fact that the callithumpianness but not the sadisticness happens does not hold.
sent1: the bullshit does not occur. sent2: the sadisticness does not occur. sent3: that the fun does not occur is right if the callithumpianness occurs and the sadisticness happens. sent4: the duplication occurs if the weeding pya does not occur. sent5: the fact that not the bullshiting but the spotting pop-fly happens is right. sent6: that the bullshiting happens and the spotting pop-fly happens brings about that the preprandialness does not occur. sent7: the reputableness does not occur if not the sharpening but the overpressure happens. sent8: the explicating occurs but the grading does not occur if the preprandialness does not occur. sent9: that the callithumpianness occurs and the sadisticness occurs is false. sent10: the predetermination occurs if that the paniculateness occurs is correct. sent11: if not the bullshiting but the spotting pop-fly happens then the preprandialness does not occur. sent12: the predetermination does not occur if the explicating occurs but the grade does not occur. sent13: the explicating happens. sent14: if the preprandialness does not occur then the explicating occurs. sent15: the paniculateness occurs if the fun does not occur.
void -> assump1: Let's assume that the callithumpianness occurs but the sadisticness does not occur.; sent11 & sent5 -> int1: the preprandialness does not occur.; sent8 & int1 -> int2: the fact that the explicating occurs and the grade does not occur hold.; sent12 & int2 -> int3: the predetermination does not occur.;
$hypothesis$ = the fact that the callithumpianness but not the sadisticness happens does not hold. ; $context$ = sent1: the bullshit does not occur. sent2: the sadisticness does not occur. sent3: that the fun does not occur is right if the callithumpianness occurs and the sadisticness happens. sent4: the duplication occurs if the weeding pya does not occur. sent5: the fact that not the bullshiting but the spotting pop-fly happens is right. sent6: that the bullshiting happens and the spotting pop-fly happens brings about that the preprandialness does not occur. sent7: the reputableness does not occur if not the sharpening but the overpressure happens. sent8: the explicating occurs but the grading does not occur if the preprandialness does not occur. sent9: that the callithumpianness occurs and the sadisticness occurs is false. sent10: the predetermination occurs if that the paniculateness occurs is correct. sent11: if not the bullshiting but the spotting pop-fly happens then the preprandialness does not occur. sent12: the predetermination does not occur if the explicating occurs but the grade does not occur. sent13: the explicating happens. sent14: if the preprandialness does not occur then the explicating occurs. sent15: the paniculateness occurs if the fun does not occur. ; $proof$ = 
void -> assump1: Let's assume that the callithumpianness occurs but the sadisticness does not occur.; sent11 & sent5 -> int1: the preprandialness does not occur.; sent8 & int1 -> int2: the fact that the explicating occurs and the grade does not occur hold.; sent12 & int2 -> int3: the predetermination does not occur.; __UNKNOWN__