if the glimpse happens then the feeling does not occur.
sent1: the attractiveness happens. sent2: if the glimpsing occurs then the feeling happens. sent3: the gonging nostalgia occurs if the reuniting happens or the Lao occurs or both. sent4: that the directedness occurs and/or the glimpse occurs leads to that the feeling does not occur.
void -> assump1: Let's assume that the glimpsing happens.; assump1 -> int1: the directing occurs and/or the glimpse happens.; int1 & sent4 -> int2: the feeling does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the glimpse happens then the feeling does not occur. ; $context$ = sent1: the attractiveness happens. sent2: if the glimpsing occurs then the feeling happens. sent3: the gonging nostalgia occurs if the reuniting happens or the Lao occurs or both. sent4: that the directedness occurs and/or the glimpse occurs leads to that the feeling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the glimpsing happens.; assump1 -> int1: the directing occurs and/or the glimpse happens.; int1 & sent4 -> int2: the feeling does not occur.; [assump1] & int2 -> hypothesis; __PROVED__