the ricing lovastatin happens.
sent1: the ricing Delphi happens and the conventionalization occurs. sent2: if the ricing Delphi occurs the ricing lovastatin occurs. sent3: that the conventionalization happens is not wrong. sent4: the ricing lovastatin does not occur if that the ricing Delphi and the ricing lovastatin occurs is false. sent5: the upright and the galacticness happens. sent6: the reputableness occurs and the rummy occurs. sent7: that the discipline does not occur does not hold.
sent1 -> int1: the ricing Delphi occurs.; sent2 & int1 -> hypothesis;
the ricing lovastatin does not occur.
$hypothesis$ = the ricing lovastatin happens. ; $context$ = sent1: the ricing Delphi happens and the conventionalization occurs. sent2: if the ricing Delphi occurs the ricing lovastatin occurs. sent3: that the conventionalization happens is not wrong. sent4: the ricing lovastatin does not occur if that the ricing Delphi and the ricing lovastatin occurs is false. sent5: the upright and the galacticness happens. sent6: the reputableness occurs and the rummy occurs. sent7: that the discipline does not occur does not hold. ; $proof$ = 
sent1 -> int1: the ricing Delphi occurs.; sent2 & int1 -> hypothesis; __PROVED__