the picking does not occur if the dogfighting occurs.
sent1: the coolness does not occur. sent2: that the correlating and the pricing dealer occurs is triggered by that the mingling larkspur does not occur. sent3: the pick occurs if the dogfight happens. sent4: if the fact that both the mingling larkspur and the pick occurs is not incorrect then the dogfighting occurs. sent5: that the dogfight does not occur is triggered by that the mingling larkspur occurs and the pick occurs. sent6: the pricing dealer and the mingling larkspur occurs. sent7: the pricing dealer occurs. sent8: if the dogfight does not occur but the pick happens the mingling larkspur does not occur. sent9: the lobbyism and the excluding crush happens.
void -> assump1: Let's assume that the dogfighting occurs.; sent6 -> int1: the mingling larkspur occurs.; void -> assump2: Let's assume that the picking occurs.; int1 & assump2 -> int2: both the mingling larkspur and the pick happens.; sent5 & int2 -> int3: the dogfight does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the picking does not occur hold.; [assump1] & int5 -> hypothesis;
the correlating happens.
$hypothesis$ = the picking does not occur if the dogfighting occurs. ; $context$ = sent1: the coolness does not occur. sent2: that the correlating and the pricing dealer occurs is triggered by that the mingling larkspur does not occur. sent3: the pick occurs if the dogfight happens. sent4: if the fact that both the mingling larkspur and the pick occurs is not incorrect then the dogfighting occurs. sent5: that the dogfight does not occur is triggered by that the mingling larkspur occurs and the pick occurs. sent6: the pricing dealer and the mingling larkspur occurs. sent7: the pricing dealer occurs. sent8: if the dogfight does not occur but the pick happens the mingling larkspur does not occur. sent9: the lobbyism and the excluding crush happens. ; $proof$ = 
void -> assump1: Let's assume that the dogfighting occurs.; sent6 -> int1: the mingling larkspur occurs.; void -> assump2: Let's assume that the picking occurs.; int1 & assump2 -> int2: both the mingling larkspur and the pick happens.; sent5 & int2 -> int3: the dogfight does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the picking does not occur hold.; [assump1] & int5 -> hypothesis; __PROVED__