the luxation happens if the petrissage occurs.
sent1: that the luxation happens is caused by that the pickup does not occur.
void -> assump1: Let's assume that the petrissage happens.; assump1 -> int1: the petrissage and/or the pacing occurs.;
$hypothesis$ = the luxation happens if the petrissage occurs. ; $context$ = sent1: that the luxation happens is caused by that the pickup does not occur. ; $proof$ = 
void -> assump1: Let's assume that the petrissage happens.; assump1 -> int1: the petrissage and/or the pacing occurs.; __UNKNOWN__