the linguisticsness does not occur if the refraining factotum happens.
sent1: the vibrionicness happens. sent2: the refraining factotum does not occur if the linguisticsness and the atmosphericness occurs. sent3: the craving occurs if that that the linguisticsness does not occur and the craving does not occur does not hold hold. sent4: the linguisticsness happens if the refraining factotum occurs. sent5: that the refraining factotum does not occur is prevented by that the linguisticsness occurs and the atmosphericness occurs.
void -> assump2: Let's assume that the refraining factotum happens.;
the craving occurs.
$hypothesis$ = the linguisticsness does not occur if the refraining factotum happens. ; $context$ = sent1: the vibrionicness happens. sent2: the refraining factotum does not occur if the linguisticsness and the atmosphericness occurs. sent3: the craving occurs if that that the linguisticsness does not occur and the craving does not occur does not hold hold. sent4: the linguisticsness happens if the refraining factotum occurs. sent5: that the refraining factotum does not occur is prevented by that the linguisticsness occurs and the atmosphericness occurs. ; $proof$ = 
void -> assump2: Let's assume that the refraining factotum happens.; __UNKNOWN__