the fact that the work does not occur if the unattractiveness occurs is not true.
sent1: the congressionalness occurs. sent2: the working and the Carmeliteness occurs if the thermodynamicsness does not occur. sent3: that the gathering burin does not occur is brought about by the numbers. sent4: if the unattractiveness happens and the congressionalness happens then the working does not occur. sent5: the non-hopefulness is triggered by that the unattractiveness and the non-congressionalness happens. sent6: the fact that the working happens hold if the unattractiveness occurs.
void -> assump1: Let's assume that the unattractiveness occurs.; assump1 & sent1 -> int1: both the unattractiveness and the congressionalness occurs.; sent4 & int1 -> int2: the working does not occur.; [assump1] & int2 -> hypothesis;
the hopefulness does not occur.
$hypothesis$ = the fact that the work does not occur if the unattractiveness occurs is not true. ; $context$ = sent1: the congressionalness occurs. sent2: the working and the Carmeliteness occurs if the thermodynamicsness does not occur. sent3: that the gathering burin does not occur is brought about by the numbers. sent4: if the unattractiveness happens and the congressionalness happens then the working does not occur. sent5: the non-hopefulness is triggered by that the unattractiveness and the non-congressionalness happens. sent6: the fact that the working happens hold if the unattractiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the unattractiveness occurs.; assump1 & sent1 -> int1: both the unattractiveness and the congressionalness occurs.; sent4 & int1 -> int2: the working does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__