the repossession leads to the chocking topicalization.
sent1: the heartbreaker does not occur. sent2: the generation does not occur. sent3: if the fact that the chocking topicalization does not occur is not wrong the chocking swineherd and the repossession happens. sent4: the chocking swineherd occurs. sent5: the chocking swineherd occurs if the chocking topicalization does not occur. sent6: if the chocking topicalization does not occur then the chocking swineherd happens but the repossession does not occur. sent7: both the chocking swineherd and the repossession occurs. sent8: the unfashionableness does not occur.
void -> assump2: Let's assume that the chocking topicalization does not occur.; sent6 & assump2 -> int1: the chocking swineherd happens and the repossession does not occur.; int1 -> int2: the repossession does not occur.; void -> assump1: Let's assume that the repossession occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the chocking topicalization happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the repossession leads to the chocking topicalization. ; $context$ = sent1: the heartbreaker does not occur. sent2: the generation does not occur. sent3: if the fact that the chocking topicalization does not occur is not wrong the chocking swineherd and the repossession happens. sent4: the chocking swineherd occurs. sent5: the chocking swineherd occurs if the chocking topicalization does not occur. sent6: if the chocking topicalization does not occur then the chocking swineherd happens but the repossession does not occur. sent7: both the chocking swineherd and the repossession occurs. sent8: the unfashionableness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the chocking topicalization does not occur.; sent6 & assump2 -> int1: the chocking swineherd happens and the repossession does not occur.; int1 -> int2: the repossession does not occur.; void -> assump1: Let's assume that the repossession occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the chocking topicalization happens.; [assump1] & int4 -> hypothesis; __PROVED__