if the confining sene occurs the grimace but not the confining mod happens.
sent1: the contemning Palinuridae occurs if the concurrence does not occur. sent2: that the confining sene occurs prevents the phosphorousness. sent3: that both the contemning lentil and the non-phosphorousness occurs is brought about by that the confining sene occurs. sent4: both the inside and the ridiculing North occurs. sent5: the grimacing happens but the confining mod does not occur if the arborolatry does not occur. sent6: if the arborolatry does not occur then the grimace and the confining mod occurs.
void -> assump1: Let's assume that the confining sene occurs.; sent3 & assump1 -> int1: the contemning lentil and the non-phosphorousness happens.;
$hypothesis$ = if the confining sene occurs the grimace but not the confining mod happens. ; $context$ = sent1: the contemning Palinuridae occurs if the concurrence does not occur. sent2: that the confining sene occurs prevents the phosphorousness. sent3: that both the contemning lentil and the non-phosphorousness occurs is brought about by that the confining sene occurs. sent4: both the inside and the ridiculing North occurs. sent5: the grimacing happens but the confining mod does not occur if the arborolatry does not occur. sent6: if the arborolatry does not occur then the grimace and the confining mod occurs. ; $proof$ = 
void -> assump1: Let's assume that the confining sene occurs.; sent3 & assump1 -> int1: the contemning lentil and the non-phosphorousness happens.; __UNKNOWN__