that the proceduralness does not occur but the roping trader occurs is brought about by the nosocomialness.
sent1: the recoil occurs. sent2: the bisection occurs. sent3: the concocting gigabit occurs. sent4: both the shearing and the slicing occurs. sent5: the glaring Satan happens. sent6: the carbonaceousness occurs and the ursineness occurs. sent7: both the proctoplasty and the attributiveness occurs. sent8: that both the non-proceduralness and the roping trader happens is brought about by that the roping Explorer does not occur. sent9: that the CPR does not occur leads to the having.
void -> assump2: Let's assume that that the roping Explorer occurs is true.; void -> assump1: Let's assume that the nosocomialness happens.; assump2 & assump1 -> int1: the roping Explorer and the nosocomialness occurs.; sent6 -> int2: the ursineness happens.;
$hypothesis$ = that the proceduralness does not occur but the roping trader occurs is brought about by the nosocomialness. ; $context$ = sent1: the recoil occurs. sent2: the bisection occurs. sent3: the concocting gigabit occurs. sent4: both the shearing and the slicing occurs. sent5: the glaring Satan happens. sent6: the carbonaceousness occurs and the ursineness occurs. sent7: both the proctoplasty and the attributiveness occurs. sent8: that both the non-proceduralness and the roping trader happens is brought about by that the roping Explorer does not occur. sent9: that the CPR does not occur leads to the having. ; $proof$ = 
void -> assump2: Let's assume that that the roping Explorer occurs is true.; void -> assump1: Let's assume that the nosocomialness happens.; assump2 & assump1 -> int1: the roping Explorer and the nosocomialness occurs.; sent6 -> int2: the ursineness happens.; __UNKNOWN__