the fact that the diagram does not rewrite doorway and does sophisticate pipewort is false.
sent1: that the diagram rewrites doorway and sophisticates pipewort is not correct. sent2: the fact that the Austrian does not rewrite doorway and is a kind of a abampere does not hold if the court is not nosocomial. sent3: the gnatcatcher does drape sturgeon if that it does not glare and sophisticates Rossbach does not hold. sent4: there is nothing such that the fact that it does rewrite doorway and it sophisticates pipewort hold. sent5: there is nothing that is a kind of non-condylar thing that rewrites court. sent6: there is nothing that does not hue and is a tape. sent7: if something that drapes sturgeon does vitrify it is not nosocomial. sent8: that the pipewort rewrites doorway and it is a kind of a seaside is not right. sent9: that something is not a soixante-neuf but a cavetto is not true if it is not nosocomial. sent10: something that does not rewrite terce does drape sturgeon and vitrifies. sent11: if the gnatcatcher rewrites Bayard the fact that it does not glare and sophisticates Rossbach is not true. sent12: the gnatcatcher does rewrite Bayard. sent13: there is nothing such that it does not rewrite doorway and it sophisticates pipewort. sent14: something is not nosocomial if the fact that it does not vitrify and is nosocomial is not correct.
sent13 -> hypothesis;
there exists nothing such that it is not a soixante-neuf and it is a cavetto.
sent9 -> int1: the fact that the court is not a soixante-neuf and is a kind of a cavetto is not right if it is not nosocomial.; sent7 -> int2: the court is not nosocomial if it drapes sturgeon and does vitrify.; sent10 -> int3: the court does drape sturgeon and does vitrify if that it does rewrite terce does not hold.;
$hypothesis$ = the fact that the diagram does not rewrite doorway and does sophisticate pipewort is false. ; $context$ = sent1: that the diagram rewrites doorway and sophisticates pipewort is not correct. sent2: the fact that the Austrian does not rewrite doorway and is a kind of a abampere does not hold if the court is not nosocomial. sent3: the gnatcatcher does drape sturgeon if that it does not glare and sophisticates Rossbach does not hold. sent4: there is nothing such that the fact that it does rewrite doorway and it sophisticates pipewort hold. sent5: there is nothing that is a kind of non-condylar thing that rewrites court. sent6: there is nothing that does not hue and is a tape. sent7: if something that drapes sturgeon does vitrify it is not nosocomial. sent8: that the pipewort rewrites doorway and it is a kind of a seaside is not right. sent9: that something is not a soixante-neuf but a cavetto is not true if it is not nosocomial. sent10: something that does not rewrite terce does drape sturgeon and vitrifies. sent11: if the gnatcatcher rewrites Bayard the fact that it does not glare and sophisticates Rossbach is not true. sent12: the gnatcatcher does rewrite Bayard. sent13: there is nothing such that it does not rewrite doorway and it sophisticates pipewort. sent14: something is not nosocomial if the fact that it does not vitrify and is nosocomial is not correct. ; $proof$ = 
sent13 -> hypothesis; __PROVED__