the sedimenting pseudopod occurs.
sent1: that not the sedimenting pseudopod but the outshouting safebreaker happens is triggered by that the protestation does not occur. sent2: the outshouting intifada occurs. sent3: if the outshouting safebreaker happens then the fact that the non-painfulness and the sedimenting pseudopod happens is not correct. sent4: that the tapping happens is not incorrect if the recombination happens. sent5: if the axileness does not occur both the recombination and the sedimenting keyboardist occurs. sent6: the bractealness happens. sent7: that the sedimenting antihero does not occur is true if that the frailness does not occur and the scintillation does not occur is incorrect. sent8: the picking but not the sub-test occurs if the sedimenting antihero does not occur. sent9: if the tapping happens the protestation does not occur and the tempestuousness does not occur. sent10: the carvel-builtness happens. sent11: the sedimenting pseudopod occurs. sent12: the axileness does not occur if the pick but not the sub-test occurs. sent13: if the fact that both the non-painfulness and the sedimenting pseudopod occurs is false then the non-painful happens.
sent11 -> hypothesis;
the sedimenting pseudopod does not occur.
$hypothesis$ = the sedimenting pseudopod occurs. ; $context$ = sent1: that not the sedimenting pseudopod but the outshouting safebreaker happens is triggered by that the protestation does not occur. sent2: the outshouting intifada occurs. sent3: if the outshouting safebreaker happens then the fact that the non-painfulness and the sedimenting pseudopod happens is not correct. sent4: that the tapping happens is not incorrect if the recombination happens. sent5: if the axileness does not occur both the recombination and the sedimenting keyboardist occurs. sent6: the bractealness happens. sent7: that the sedimenting antihero does not occur is true if that the frailness does not occur and the scintillation does not occur is incorrect. sent8: the picking but not the sub-test occurs if the sedimenting antihero does not occur. sent9: if the tapping happens the protestation does not occur and the tempestuousness does not occur. sent10: the carvel-builtness happens. sent11: the sedimenting pseudopod occurs. sent12: the axileness does not occur if the pick but not the sub-test occurs. sent13: if the fact that both the non-painfulness and the sedimenting pseudopod occurs is false then the non-painful happens. ; $proof$ = 
sent11 -> hypothesis; __PROVED__