the infixing arrayed occurs if the fact that the infixing horseplay happens is not wrong.
sent1: if the capering zoom happens then the infixing arrayed happens. sent2: if the infixing horseplay occurs the capering zoom happens. sent3: the stimulation and the infixing horseplay occurs if the capering zoom does not occur. sent4: that the shopping pad happens is correct. sent5: the shopping shabbiness occurs if the dramaticness happens.
void -> assump1: Let's assume that the infixing horseplay happens.; sent2 & assump1 -> int1: the capering zoom happens.; sent1 & int1 -> int2: the infixing arrayed occurs.; [assump1] & int2 -> hypothesis;
the stimulation occurs.
$hypothesis$ = the infixing arrayed occurs if the fact that the infixing horseplay happens is not wrong. ; $context$ = sent1: if the capering zoom happens then the infixing arrayed happens. sent2: if the infixing horseplay occurs the capering zoom happens. sent3: the stimulation and the infixing horseplay occurs if the capering zoom does not occur. sent4: that the shopping pad happens is correct. sent5: the shopping shabbiness occurs if the dramaticness happens. ; $proof$ = 
void -> assump1: Let's assume that the infixing horseplay happens.; sent2 & assump1 -> int1: the capering zoom happens.; sent1 & int1 -> int2: the infixing arrayed occurs.; [assump1] & int2 -> hypothesis; __PROVED__