the rolling Unionidae occurs.
sent1: the rolling rim occurs. sent2: the institution prevents the non-zymoticness. sent3: the fact that the rolling videotape happens is true. sent4: if the rolling rim happens then the institution occurs. sent5: the viricidalness occurs if the cambering pyrope happens. sent6: the rolling Unionidae happens if the zymoticness happens.
sent4 & sent1 -> int1: the institution occurs.; sent2 & int1 -> int2: the zymoticness happens.; sent6 & int2 -> hypothesis;
$hypothesis$ = the rolling Unionidae occurs. ; $context$ = sent1: the rolling rim occurs. sent2: the institution prevents the non-zymoticness. sent3: the fact that the rolling videotape happens is true. sent4: if the rolling rim happens then the institution occurs. sent5: the viricidalness occurs if the cambering pyrope happens. sent6: the rolling Unionidae happens if the zymoticness happens. ; $proof$ = 
sent4 & sent1 -> int1: the institution occurs.; sent2 & int1 -> int2: the zymoticness happens.; sent6 & int2 -> hypothesis; __PROVED__