the rush occurs and the floating occurs.
sent1: the disrespecting hexameter but not the whanging Lindheimera happens. sent2: that the lapping darkroom occurs is not false if the urinariness does not occur and the circularness happens. sent3: if the urinariness happens and the circular occurs the lapping darkroom happens. sent4: that both the floating and the non-synapticness occurs is caused by that the herbivorousness occurs. sent5: the whanging Lindheimera occurs if that the non-urinaryness and the circular happens is incorrect. sent6: the linealness does not occur. sent7: the rush is triggered by the lapping darkroom. sent8: the herbivorousness happens.
void -> assump1: Let's assume that that the non-urinaryness and the circularness occurs is not true.; sent5 & assump1 -> int1: the whanging Lindheimera happens.; sent1 -> int2: the whanging Lindheimera does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-urinaryness and the circularness happens.; int4 & sent2 -> int5: the lapping darkroom happens.; int5 & sent7 -> int6: the rushing happens.; sent4 & sent8 -> int7: that the floating and the non-synapticness happens hold.; int7 -> int8: the floating happens.; int6 & int8 -> hypothesis;
$hypothesis$ = the rush occurs and the floating occurs. ; $context$ = sent1: the disrespecting hexameter but not the whanging Lindheimera happens. sent2: that the lapping darkroom occurs is not false if the urinariness does not occur and the circularness happens. sent3: if the urinariness happens and the circular occurs the lapping darkroom happens. sent4: that both the floating and the non-synapticness occurs is caused by that the herbivorousness occurs. sent5: the whanging Lindheimera occurs if that the non-urinaryness and the circular happens is incorrect. sent6: the linealness does not occur. sent7: the rush is triggered by the lapping darkroom. sent8: the herbivorousness happens. ; $proof$ = 
void -> assump1: Let's assume that that the non-urinaryness and the circularness occurs is not true.; sent5 & assump1 -> int1: the whanging Lindheimera happens.; sent1 -> int2: the whanging Lindheimera does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-urinaryness and the circularness happens.; int4 & sent2 -> int5: the lapping darkroom happens.; int5 & sent7 -> int6: the rushing happens.; sent4 & sent8 -> int7: that the floating and the non-synapticness happens hold.; int7 -> int8: the floating happens.; int6 & int8 -> hypothesis; __PROVED__