the haemophilicness triggers that the aggregating sovereign but not the masochisticness happens.
sent1: if both the blackbird and the moving Albatrellus occurs then the pall-mall does not occur. sent2: that the lasting occurs is not false. sent3: the blackbirdness happens and the ebbtide happens. sent4: if the haemophilicness does not occur but the masochisticness happens the doubleheader does not occur. sent5: the charm and the lasting occurs if that the doubleheader does not occur is not false. sent6: the fact that the moving sideboard occurs hold. sent7: the lastingness and the doubleheader occurs. sent8: the aggregating sovereign does not occur and the endearment occurs if the capsularness occurs. sent9: if the rummaging happens then the fact that the capsularness does not occur and the moving sideboard does not occur is incorrect. sent10: the fact that that both the haemophilicness and the masochisticness happens is not incorrect is not right if the aggregating sovereign does not occur. sent11: that the aggregating sovereign does not occur is caused by that the moving sideboard occurs and the aggregating medallion does not occur. sent12: if the fact that the aggregating funnel occurs is correct then the moving swish but not the striping occurs. sent13: both the toothlessness and the nap happens. sent14: the aggregating sovereign occurs. sent15: the aggregating Pasternak happens. sent16: the moving epithet occurs. sent17: the fact that the rummage occurs is correct if the aggregating medallion does not occur and the moving Alcyone occurs.
sent7 -> int1: the doubleheader happens.; void -> assump1: Let's assume that the haemophilicness occurs.; int1 & assump1 -> int2: the haemophilicness and the doubleheader happens.;
the lamentation does not occur.
$hypothesis$ = the haemophilicness triggers that the aggregating sovereign but not the masochisticness happens. ; $context$ = sent1: if both the blackbird and the moving Albatrellus occurs then the pall-mall does not occur. sent2: that the lasting occurs is not false. sent3: the blackbirdness happens and the ebbtide happens. sent4: if the haemophilicness does not occur but the masochisticness happens the doubleheader does not occur. sent5: the charm and the lasting occurs if that the doubleheader does not occur is not false. sent6: the fact that the moving sideboard occurs hold. sent7: the lastingness and the doubleheader occurs. sent8: the aggregating sovereign does not occur and the endearment occurs if the capsularness occurs. sent9: if the rummaging happens then the fact that the capsularness does not occur and the moving sideboard does not occur is incorrect. sent10: the fact that that both the haemophilicness and the masochisticness happens is not incorrect is not right if the aggregating sovereign does not occur. sent11: that the aggregating sovereign does not occur is caused by that the moving sideboard occurs and the aggregating medallion does not occur. sent12: if the fact that the aggregating funnel occurs is correct then the moving swish but not the striping occurs. sent13: both the toothlessness and the nap happens. sent14: the aggregating sovereign occurs. sent15: the aggregating Pasternak happens. sent16: the moving epithet occurs. sent17: the fact that the rummage occurs is correct if the aggregating medallion does not occur and the moving Alcyone occurs. ; $proof$ = 
sent7 -> int1: the doubleheader happens.; void -> assump1: Let's assume that the haemophilicness occurs.; int1 & assump1 -> int2: the haemophilicness and the doubleheader happens.; __UNKNOWN__