the CBC occurs.
sent1: both the CBC and the conceptualisticness happens if that the reigning episcopacy does not occur is not wrong. sent2: that the cryptanalyticness happens is correct. sent3: the conceptualisticness happens. sent4: that the viaticalness does not occur triggers that the reigning internationalization occurs but the refocusing does not occur. sent5: if the incurable does not occur then the arborealness happens and the smashing microorganism does not occur. sent6: the reigning episcopacy happens. sent7: the passerine happens and the expression happens. sent8: the landing happens if the reigning internationalization happens but the refocusing does not occur. sent9: the CBC does not occur if both the cryptanalyticness and the landing happens. sent10: the reigning internationalization happens. sent11: the reigning internationalization happens if the viaticalness does not occur. sent12: that both the areolarness and the non-immunotherapeuticness happens is caused by that the reigning Gobio does not occur. sent13: the viaticalness does not occur if the conceptualisticness happens and the reigning episcopacy happens.
sent3 & sent6 -> int1: the conceptualisticness occurs and the reigning episcopacy occurs.; int1 & sent13 -> int2: the viaticalness does not occur.; int2 & sent4 -> int3: the reigning internationalization happens and the refocusing does not occur.; int3 & sent8 -> int4: the landing happens.; int4 & sent2 -> int5: the cryptanalyticness occurs and the land happens.; int5 & sent9 -> hypothesis;
the fact that the CBC occurs is not false.
$hypothesis$ = the CBC occurs. ; $context$ = sent1: both the CBC and the conceptualisticness happens if that the reigning episcopacy does not occur is not wrong. sent2: that the cryptanalyticness happens is correct. sent3: the conceptualisticness happens. sent4: that the viaticalness does not occur triggers that the reigning internationalization occurs but the refocusing does not occur. sent5: if the incurable does not occur then the arborealness happens and the smashing microorganism does not occur. sent6: the reigning episcopacy happens. sent7: the passerine happens and the expression happens. sent8: the landing happens if the reigning internationalization happens but the refocusing does not occur. sent9: the CBC does not occur if both the cryptanalyticness and the landing happens. sent10: the reigning internationalization happens. sent11: the reigning internationalization happens if the viaticalness does not occur. sent12: that both the areolarness and the non-immunotherapeuticness happens is caused by that the reigning Gobio does not occur. sent13: the viaticalness does not occur if the conceptualisticness happens and the reigning episcopacy happens. ; $proof$ = 
sent3 & sent6 -> int1: the conceptualisticness occurs and the reigning episcopacy occurs.; int1 & sent13 -> int2: the viaticalness does not occur.; int2 & sent4 -> int3: the reigning internationalization happens and the refocusing does not occur.; int3 & sent8 -> int4: the landing happens.; int4 & sent2 -> int5: the cryptanalyticness occurs and the land happens.; int5 & sent9 -> hypothesis; __DISPROVED__