the grumbling Sajama occurs.
sent1: if the fact that the looping does not occur is right then the unsweptness and the cartwheeling happens. sent2: the wrestling micron and the grumbling Sajama occurs if the stinting Masai does not occur. sent3: the stinting Masai does not occur. sent4: that the grumbling Sajama does not occur and the stinting Masai does not occur is triggered by that the assignment does not occur. sent5: that the assignment occurs is prevented by that the unsweptness happens or that the wrestling smokescreen occurs or both.
sent2 & sent3 -> int1: the wrestling micron happens and the grumbling Sajama occurs.; int1 -> hypothesis;
the grumbling Sajama does not occur.
$hypothesis$ = the grumbling Sajama occurs. ; $context$ = sent1: if the fact that the looping does not occur is right then the unsweptness and the cartwheeling happens. sent2: the wrestling micron and the grumbling Sajama occurs if the stinting Masai does not occur. sent3: the stinting Masai does not occur. sent4: that the grumbling Sajama does not occur and the stinting Masai does not occur is triggered by that the assignment does not occur. sent5: that the assignment occurs is prevented by that the unsweptness happens or that the wrestling smokescreen occurs or both. ; $proof$ = 
sent2 & sent3 -> int1: the wrestling micron happens and the grumbling Sajama occurs.; int1 -> hypothesis; __PROVED__