the sorehead does invigilate if the elemi is unprofitable.
sent1: that the autoantibody is not unprofitable is false. sent2: the myrobalan tints mix. sent3: there exists something such that the fact that it does invigilate hold. sent4: the elemi denies Crosby and/or it is a kind of a feeling. sent5: if there exists something such that it tints mix and/or it is unprofitable the elemi invigilates. sent6: the sorehead tints mix if there is something such that it invigilates. sent7: the elemi tints mix and/or it does invigilate. sent8: there is something such that it does invigilate and/or it is unprofitable. sent9: the sorehead tints mix. sent10: the sorehead is unprofitable if the elemi invigilates. sent11: the fact that the sorehead is a kind of a flickertail hold. sent12: the elemi tints mix. sent13: either the sorehead is unprofitable or it beckons dekagram or both. sent14: the elemi does invigilate if something is unprofitable or it does tint mix or both. sent15: the sorehead is unprofitable. sent16: the sorehead invigilates if there exists something such that it is unprofitable and/or it tints mix. sent17: if something is unprofitable and/or it does invigilate then the sorehead does tint mix.
void -> assump1: Let's assume that the elemi is unprofitable.; assump1 -> int1: the elemi is unprofitable or it does tint mix or both.; int1 -> int2: something either is unprofitable or does tint mix or both.; int2 & sent16 -> int3: the sorehead invigilates.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the sorehead does invigilate if the elemi is unprofitable. ; $context$ = sent1: that the autoantibody is not unprofitable is false. sent2: the myrobalan tints mix. sent3: there exists something such that the fact that it does invigilate hold. sent4: the elemi denies Crosby and/or it is a kind of a feeling. sent5: if there exists something such that it tints mix and/or it is unprofitable the elemi invigilates. sent6: the sorehead tints mix if there is something such that it invigilates. sent7: the elemi tints mix and/or it does invigilate. sent8: there is something such that it does invigilate and/or it is unprofitable. sent9: the sorehead tints mix. sent10: the sorehead is unprofitable if the elemi invigilates. sent11: the fact that the sorehead is a kind of a flickertail hold. sent12: the elemi tints mix. sent13: either the sorehead is unprofitable or it beckons dekagram or both. sent14: the elemi does invigilate if something is unprofitable or it does tint mix or both. sent15: the sorehead is unprofitable. sent16: the sorehead invigilates if there exists something such that it is unprofitable and/or it tints mix. sent17: if something is unprofitable and/or it does invigilate then the sorehead does tint mix. ; $proof$ = 
void -> assump1: Let's assume that the elemi is unprofitable.; assump1 -> int1: the elemi is unprofitable or it does tint mix or both.; int1 -> int2: something either is unprofitable or does tint mix or both.; int2 & sent16 -> int3: the sorehead invigilates.; [assump1] & int3 -> hypothesis; __PROVED__