that the implement is not a kind of a Carmelite and it is not a deliverable does not hold.
sent1: that the gasometer does unplug hold. sent2: if the Espagnole is a Carmelite then the fact that the implement is not Carmelite but it is a deliverable is not correct. sent3: the fact that something is not a submersible and it does not tincture Gestapo does not hold if it is not macrocephalic. sent4: if the anesthesiologist is a Carmelite it is non-macrocephalic and does not detach. sent5: the gasometer does detach if it is macrocephalic. sent6: if something is not macrocephalic then it is non-Carmelite and non-deliverable. sent7: if the Espagnole is not non-Carmelite the fact that the implement is not a kind of a non-Carmelite and it is not deliverable is incorrect. sent8: the fact that the implement is a Carmelite but it is not a deliverable is not true. sent9: that the implement is a Carmelite and not deliverable is incorrect if the Espagnole is a Carmelite. sent10: if the gasometer detaches and is not submersible that the Espagnole is a kind of a Carmelite hold. sent11: the gasometer is macrocephalic.
sent5 & sent11 -> int1: the gasometer detaches.;
the implement is not a Carmelite and it is not deliverable.
sent6 -> int2: the implement is not Carmelite and not a deliverable if it is not macrocephalic.;
$hypothesis$ = that the implement is not a kind of a Carmelite and it is not a deliverable does not hold. ; $context$ = sent1: that the gasometer does unplug hold. sent2: if the Espagnole is a Carmelite then the fact that the implement is not Carmelite but it is a deliverable is not correct. sent3: the fact that something is not a submersible and it does not tincture Gestapo does not hold if it is not macrocephalic. sent4: if the anesthesiologist is a Carmelite it is non-macrocephalic and does not detach. sent5: the gasometer does detach if it is macrocephalic. sent6: if something is not macrocephalic then it is non-Carmelite and non-deliverable. sent7: if the Espagnole is not non-Carmelite the fact that the implement is not a kind of a non-Carmelite and it is not deliverable is incorrect. sent8: the fact that the implement is a Carmelite but it is not a deliverable is not true. sent9: that the implement is a Carmelite and not deliverable is incorrect if the Espagnole is a Carmelite. sent10: if the gasometer detaches and is not submersible that the Espagnole is a kind of a Carmelite hold. sent11: the gasometer is macrocephalic. ; $proof$ = 
sent5 & sent11 -> int1: the gasometer detaches.; __UNKNOWN__