the spending Reagan happens and the spending verso occurs.
sent1: the fact that the rehabilitating procuress happens is not incorrect. sent2: the funneling occurs. sent3: the accipitrineness occurs. sent4: if the Koreanness does not occur then that the spending Reagan happens and the spending verso occurs is false. sent5: the Koreanness occurs. sent6: both the spending verso and the accipitrineness occurs. sent7: the Koreanness prevents that the spending Reagan does not occur.
sent7 & sent5 -> int1: the spending Reagan happens.; sent6 -> int2: the spending verso happens.; int1 & int2 -> hypothesis;
the fact that the spending Reagan happens and the spending verso happens is not correct.
$hypothesis$ = the spending Reagan happens and the spending verso occurs. ; $context$ = sent1: the fact that the rehabilitating procuress happens is not incorrect. sent2: the funneling occurs. sent3: the accipitrineness occurs. sent4: if the Koreanness does not occur then that the spending Reagan happens and the spending verso occurs is false. sent5: the Koreanness occurs. sent6: both the spending verso and the accipitrineness occurs. sent7: the Koreanness prevents that the spending Reagan does not occur. ; $proof$ = 
sent7 & sent5 -> int1: the spending Reagan happens.; sent6 -> int2: the spending verso happens.; int1 & int2 -> hypothesis; __PROVED__