if the cross-sententialness happens and the concocting happens the moderating does not occur.
sent1: the moderatingness happens if both the cross-sententialness and the concocting occurs. sent2: the articulation does not occur if the avocationalness does not occur and the refining sunburn does not occur. sent3: the cross-sententialness happens. sent4: the fact that the gall does not occur is right. sent5: the fretting and the articulation happens. sent6: the avocationalness does not occur. sent7: if the fretting and the refining terrorism happens the moderatingness does not occur. sent8: the refining terrorism happens if the concocting occurs. sent9: if the fretting happens and the refining terrorism occurs the moderating occurs. sent10: if the articulation does not occur then both the propping and the refining terrorism happens. sent11: both the cross-sententialness and the stoloniferousness occurs if the concocting does not occur.
void -> assump1: Let's assume that both the cross-sententialness and the concocting happens.; assump1 -> int1: the concocting occurs.; int1 & sent8 -> int2: the refining terrorism occurs.; sent5 -> int3: the fret happens.; int2 & int3 -> int4: the fretting happens and the refining terrorism occurs.; int4 & sent7 -> int5: the moderatingness does not occur.; [assump1] & int5 -> hypothesis;
the props and the stoloniferousness occurs.
$hypothesis$ = if the cross-sententialness happens and the concocting happens the moderating does not occur. ; $context$ = sent1: the moderatingness happens if both the cross-sententialness and the concocting occurs. sent2: the articulation does not occur if the avocationalness does not occur and the refining sunburn does not occur. sent3: the cross-sententialness happens. sent4: the fact that the gall does not occur is right. sent5: the fretting and the articulation happens. sent6: the avocationalness does not occur. sent7: if the fretting and the refining terrorism happens the moderatingness does not occur. sent8: the refining terrorism happens if the concocting occurs. sent9: if the fretting happens and the refining terrorism occurs the moderating occurs. sent10: if the articulation does not occur then both the propping and the refining terrorism happens. sent11: both the cross-sententialness and the stoloniferousness occurs if the concocting does not occur. ; $proof$ = 
void -> assump1: Let's assume that both the cross-sententialness and the concocting happens.; assump1 -> int1: the concocting occurs.; int1 & sent8 -> int2: the refining terrorism occurs.; sent5 -> int3: the fret happens.; int2 & int3 -> int4: the fretting happens and the refining terrorism occurs.; int4 & sent7 -> int5: the moderatingness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__