the drawing does not occur.
sent1: if the delicateness does not occur then the draw does not occur. sent2: the parasailing does not occur. sent3: if the bowing Enki happens and the Kazakhstani occurs the delicateness does not occur. sent4: the Kazakhstani happens. sent5: the parasailing occurs if the bowing PAC happens and the bending does not occur. sent6: the bending does not occur.
void -> assump1: Let's assume that the bowing PAC happens.; assump1 & sent6 -> int1: the bowing PAC but not the bend occurs.; int1 & sent5 -> int2: the parasailing happens.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bowing PAC does not occur.;
$hypothesis$ = the drawing does not occur. ; $context$ = sent1: if the delicateness does not occur then the draw does not occur. sent2: the parasailing does not occur. sent3: if the bowing Enki happens and the Kazakhstani occurs the delicateness does not occur. sent4: the Kazakhstani happens. sent5: the parasailing occurs if the bowing PAC happens and the bending does not occur. sent6: the bending does not occur. ; $proof$ = 
void -> assump1: Let's assume that the bowing PAC happens.; assump1 & sent6 -> int1: the bowing PAC but not the bend occurs.; int1 & sent5 -> int2: the parasailing happens.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bowing PAC does not occur.; __UNKNOWN__