the softening occurs.
sent1: that the inhaling does not occur is not false if that the non-spermousness and the inhaling happens is not right. sent2: the inspiration does not occur if the fact that the inspiration but not the caroling links happens is incorrect. sent3: if the coping guardsman happens then the fact that the coping second-in-command does not occur but the house happens is not true. sent4: the softening occurs if the inspiration happens. sent5: that the non-spermousness and the inhaling happens is wrong if the caroling mud does not occur. sent6: that the geminating occurs is not wrong. sent7: the programing hymenium happens. sent8: if the fact that the coping second-in-command does not occur and the housing happens is incorrect the inspiration occurs. sent9: that the inspiration but not the caroling links occurs is not true if the planetariness does not occur. sent10: if that the coping second-in-command occurs is not incorrect then the coping guardsman does not occur. sent11: that the inhaling does not occur yields that the seasoning does not occur and the fingering does not occur. sent12: the planetariness does not occur if the seasoning does not occur and the fingering does not occur. sent13: that the programing hymenium happens prevents that the coping guardsman does not occur.
sent13 & sent7 -> int1: the coping guardsman happens.; sent3 & int1 -> int2: that the coping second-in-command does not occur and the house happens is false.; sent8 & int2 -> int3: the inspiration occurs.; sent4 & int3 -> hypothesis;
the softening does not occur.
$hypothesis$ = the softening occurs. ; $context$ = sent1: that the inhaling does not occur is not false if that the non-spermousness and the inhaling happens is not right. sent2: the inspiration does not occur if the fact that the inspiration but not the caroling links happens is incorrect. sent3: if the coping guardsman happens then the fact that the coping second-in-command does not occur but the house happens is not true. sent4: the softening occurs if the inspiration happens. sent5: that the non-spermousness and the inhaling happens is wrong if the caroling mud does not occur. sent6: that the geminating occurs is not wrong. sent7: the programing hymenium happens. sent8: if the fact that the coping second-in-command does not occur and the housing happens is incorrect the inspiration occurs. sent9: that the inspiration but not the caroling links occurs is not true if the planetariness does not occur. sent10: if that the coping second-in-command occurs is not incorrect then the coping guardsman does not occur. sent11: that the inhaling does not occur yields that the seasoning does not occur and the fingering does not occur. sent12: the planetariness does not occur if the seasoning does not occur and the fingering does not occur. sent13: that the programing hymenium happens prevents that the coping guardsman does not occur. ; $proof$ = 
sent13 & sent7 -> int1: the coping guardsman happens.; sent3 & int1 -> int2: that the coping second-in-command does not occur and the house happens is false.; sent8 & int2 -> int3: the inspiration occurs.; sent4 & int3 -> hypothesis; __PROVED__