that the colophony is a disco and not coccal does not hold.
sent1: the fact that the colophony is a disco that is not coccal is incorrect if the thermosphere is not coccal. sent2: if the thermosphere is not a welcoming it is not coccal. sent3: something is a kind of a disco and it is a panicle if it is not a showboat. sent4: if the colophony is coccal and/or is a disco then the thermosphere is not unresponsive. sent5: if the thermosphere is not coccal that the colophony is a disco and is coccal is wrong.
the fact that the rifampin is unresponsive but it is not a welcoming does not hold.
$hypothesis$ = that the colophony is a disco and not coccal does not hold. ; $context$ = sent1: the fact that the colophony is a disco that is not coccal is incorrect if the thermosphere is not coccal. sent2: if the thermosphere is not a welcoming it is not coccal. sent3: something is a kind of a disco and it is a panicle if it is not a showboat. sent4: if the colophony is coccal and/or is a disco then the thermosphere is not unresponsive. sent5: if the thermosphere is not coccal that the colophony is a disco and is coccal is wrong. ; $proof$ = 
__UNKNOWN__