if the invitationalness occurs the surmising pruner does not occur.
sent1: that the uvealness happens is prevented by the curacy. sent2: if the researching happens the surmising pruner occurs. sent3: if that the research occurs is not wrong then the surmising pruner does not occur. sent4: that the stand happens is not false. sent5: the researching happens if the invitationalness happens. sent6: the surmising pruner happens if the invitationalness happens. sent7: the fact that the outstaring Bloomsbury happens is right.
void -> assump1: Let's assume that the invitationalness occurs.; sent5 & assump1 -> int1: the research happens.; int1 & sent3 -> int2: that the surmising pruner does not occur is correct.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the invitationalness occurs the surmising pruner does not occur. ; $context$ = sent1: that the uvealness happens is prevented by the curacy. sent2: if the researching happens the surmising pruner occurs. sent3: if that the research occurs is not wrong then the surmising pruner does not occur. sent4: that the stand happens is not false. sent5: the researching happens if the invitationalness happens. sent6: the surmising pruner happens if the invitationalness happens. sent7: the fact that the outstaring Bloomsbury happens is right. ; $proof$ = 
void -> assump1: Let's assume that the invitationalness occurs.; sent5 & assump1 -> int1: the research happens.; int1 & sent3 -> int2: that the surmising pruner does not occur is correct.; [assump1] & int2 -> hypothesis; __PROVED__