if the parade happens the buildup happens but the trivializing cone does not occur.
sent1: if the trivializing bitternut does not occur then the buildup occurs and the hurry happens. sent2: if the trivializing cone happens then not the iambicness but the parade happens. sent3: the Aleutiansness happens. sent4: if the fact that the hurry does not occur is correct then the trivializing cone and the buildup happens. sent5: both the weediness and the non-iambicness occurs. sent6: the iambicness does not occur. sent7: that the hurry does not occur is prevented by that the trivializing bitternut does not occur. sent8: the theming blink happens but the adscriptness does not occur. sent9: that both the parade and the weediness happens prevents the trivializing cone. sent10: the trivializing bitternut does not occur. sent11: the hurry occurs.
sent5 -> int1: the weediness occurs.; void -> assump1: Let's assume that the parading happens.; int1 & assump1 -> int2: the parading happens and the weediness happens.; int2 & sent9 -> int3: the trivializing cone does not occur.; sent1 & sent10 -> int4: the buildup occurs and the hurry occurs.; int4 -> int5: the buildup occurs.; int3 & int5 -> int6: the buildup but not the trivializing cone happens.; [assump1] & int6 -> hypothesis;
the tenderization happens.
$hypothesis$ = if the parade happens the buildup happens but the trivializing cone does not occur. ; $context$ = sent1: if the trivializing bitternut does not occur then the buildup occurs and the hurry happens. sent2: if the trivializing cone happens then not the iambicness but the parade happens. sent3: the Aleutiansness happens. sent4: if the fact that the hurry does not occur is correct then the trivializing cone and the buildup happens. sent5: both the weediness and the non-iambicness occurs. sent6: the iambicness does not occur. sent7: that the hurry does not occur is prevented by that the trivializing bitternut does not occur. sent8: the theming blink happens but the adscriptness does not occur. sent9: that both the parade and the weediness happens prevents the trivializing cone. sent10: the trivializing bitternut does not occur. sent11: the hurry occurs. ; $proof$ = 
sent5 -> int1: the weediness occurs.; void -> assump1: Let's assume that the parading happens.; int1 & assump1 -> int2: the parading happens and the weediness happens.; int2 & sent9 -> int3: the trivializing cone does not occur.; sent1 & sent10 -> int4: the buildup occurs and the hurry occurs.; int4 -> int5: the buildup occurs.; int3 & int5 -> int6: the buildup but not the trivializing cone happens.; [assump1] & int6 -> hypothesis; __PROVED__