if the multiplying acupressure occurs the PIN occurs.
sent1: the multiplying Astrophyton happens. sent2: the non-petalousness is brought about by that the noninstitutionalness occurs and the multiplying acupressure occurs. sent3: if the petalousness does not occur then the PIN happens. sent4: the dirtying occurs. sent5: the universalisticness happens and the noninstitutionalness occurs if that the multiplying acupressure does not occur is not false. sent6: the strafing occurs and the dirtying occurs. sent7: the noninstitutionalness happens if the strafe happens.
sent6 -> int1: the strafe occurs.; sent7 & int1 -> int2: the noninstitutionalness happens.; void -> assump1: Let's assume that the multiplying acupressure happens.; int2 & assump1 -> int3: both the noninstitutionalness and the multiplying acupressure happens.; sent2 & int3 -> int4: the petalousness does not occur.; sent3 & int4 -> int5: the PIN happens.; [assump1] & int5 -> hypothesis;
both the universalisticness and the geophysicalness happens.
$hypothesis$ = if the multiplying acupressure occurs the PIN occurs. ; $context$ = sent1: the multiplying Astrophyton happens. sent2: the non-petalousness is brought about by that the noninstitutionalness occurs and the multiplying acupressure occurs. sent3: if the petalousness does not occur then the PIN happens. sent4: the dirtying occurs. sent5: the universalisticness happens and the noninstitutionalness occurs if that the multiplying acupressure does not occur is not false. sent6: the strafing occurs and the dirtying occurs. sent7: the noninstitutionalness happens if the strafe happens. ; $proof$ = 
sent6 -> int1: the strafe occurs.; sent7 & int1 -> int2: the noninstitutionalness happens.; void -> assump1: Let's assume that the multiplying acupressure happens.; int2 & assump1 -> int3: both the noninstitutionalness and the multiplying acupressure happens.; sent2 & int3 -> int4: the petalousness does not occur.; sent3 & int4 -> int5: the PIN happens.; [assump1] & int5 -> hypothesis; __PROVED__