if the Siberian does not occur the putting sadomasochist and the putting Percheron occurs.
sent1: the cordlessness does not occur if both the coxing hypertrophy and the fly happens. sent2: the amortization happens. sent3: that the Attic does not occur leads to that the percussiveness happens and the Eurasianness occurs. sent4: both the Mills and the non-illegalness occurs if the putting sadomasochist does not occur. sent5: the unmanageableness causes the Siberianness. sent6: the coxing thylacine happens. sent7: if the effectiveness does not occur the appellativeness and the dragging instrumentalism happens. sent8: that the Mills but not the illegalness occurs prevents that the manageableness occurs. sent9: that the putting Percheron does not occur is prevented by that the percussiveness occurs.
void -> assump1: Let's assume that the putting sadomasochist does not occur.; sent4 & assump1 -> int1: the Mills occurs and the illegalness does not occur.; int1 & sent8 -> int2: the manageableness does not occur.; int2 & sent5 -> int3: the Siberian occurs.; void -> assump2: Let's assume that the Siberianness does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the putting sadomasochist happens.;
$hypothesis$ = if the Siberian does not occur the putting sadomasochist and the putting Percheron occurs. ; $context$ = sent1: the cordlessness does not occur if both the coxing hypertrophy and the fly happens. sent2: the amortization happens. sent3: that the Attic does not occur leads to that the percussiveness happens and the Eurasianness occurs. sent4: both the Mills and the non-illegalness occurs if the putting sadomasochist does not occur. sent5: the unmanageableness causes the Siberianness. sent6: the coxing thylacine happens. sent7: if the effectiveness does not occur the appellativeness and the dragging instrumentalism happens. sent8: that the Mills but not the illegalness occurs prevents that the manageableness occurs. sent9: that the putting Percheron does not occur is prevented by that the percussiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the putting sadomasochist does not occur.; sent4 & assump1 -> int1: the Mills occurs and the illegalness does not occur.; int1 & sent8 -> int2: the manageableness does not occur.; int2 & sent5 -> int3: the Siberian occurs.; void -> assump2: Let's assume that the Siberianness does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the putting sadomasochist happens.; __UNKNOWN__