that if the chasuble is an interface the catgut does wrestle notebook is false.
sent1: the overlip is not a phlogiston. sent2: the earphone is a phlogiston and is an oldie if it does not wrestle notebook. sent3: if the overlip is not an indexer and is not a phlogiston the catgut is an oldie. sent4: if the hardware is septic it is not a hymeneal. sent5: if something is not non-hymeneal then it is septic. sent6: the overlip is not an indexer if there exists something such that that it is a hymeneal and/or not a Skagit is not correct. sent7: if something is not a Skagit and not an indexer the fact that it is a hymeneal hold. sent8: something is not a Skagit and is not an indexer if it is a phlogiston. sent9: if the chasuble is a kind of an interface then the hardware is septic. sent10: the fact that the hardware is a kind of a hymeneal or it is not a Skagit or both is not right if it is septic. sent11: the chasuble is not an oldie. sent12: that something is either a embalmment or not an interface or both is wrong if it is septic. sent13: the catgut wrestles notebook if it is an oldie.
void -> assump1: Let's assume that the chasuble is an interface.; sent9 & assump1 -> int1: the hardware is septic.; int1 & sent10 -> int2: that the hardware is a hymeneal and/or not a Skagit is not correct.; int2 -> int3: there exists something such that the fact that it is a hymeneal or is not a kind of a Skagit or both does not hold.; int3 & sent6 -> int4: the overlip does not index.; int4 & sent1 -> int5: the overlip does not index and is not a phlogiston.; int5 & sent3 -> int6: the catgut is an oldie.; int6 & sent13 -> int7: the fact that the catgut does wrestle notebook hold.; [assump1] & int7 -> hypothesis;
that the earphone is a embalmment or it is not a kind of an interface or both is false.
sent12 -> int8: the fact that the earphone is a kind of a embalmment and/or it is not an interface is not true if it is septic.; sent5 -> int9: if the earphone is a hymeneal the fact that it is septic is not wrong.; sent7 -> int10: the earphone is a hymeneal if it is not a Skagit and it is not an indexer.; sent8 -> int11: if the earphone is a kind of a phlogiston then it is both not a Skagit and not an indexer.;
$hypothesis$ = that if the chasuble is an interface the catgut does wrestle notebook is false. ; $context$ = sent1: the overlip is not a phlogiston. sent2: the earphone is a phlogiston and is an oldie if it does not wrestle notebook. sent3: if the overlip is not an indexer and is not a phlogiston the catgut is an oldie. sent4: if the hardware is septic it is not a hymeneal. sent5: if something is not non-hymeneal then it is septic. sent6: the overlip is not an indexer if there exists something such that that it is a hymeneal and/or not a Skagit is not correct. sent7: if something is not a Skagit and not an indexer the fact that it is a hymeneal hold. sent8: something is not a Skagit and is not an indexer if it is a phlogiston. sent9: if the chasuble is a kind of an interface then the hardware is septic. sent10: the fact that the hardware is a kind of a hymeneal or it is not a Skagit or both is not right if it is septic. sent11: the chasuble is not an oldie. sent12: that something is either a embalmment or not an interface or both is wrong if it is septic. sent13: the catgut wrestles notebook if it is an oldie. ; $proof$ = 
void -> assump1: Let's assume that the chasuble is an interface.; sent9 & assump1 -> int1: the hardware is septic.; int1 & sent10 -> int2: that the hardware is a hymeneal and/or not a Skagit is not correct.; int2 -> int3: there exists something such that the fact that it is a hymeneal or is not a kind of a Skagit or both does not hold.; int3 & sent6 -> int4: the overlip does not index.; int4 & sent1 -> int5: the overlip does not index and is not a phlogiston.; int5 & sent3 -> int6: the catgut is an oldie.; int6 & sent13 -> int7: the fact that the catgut does wrestle notebook hold.; [assump1] & int7 -> hypothesis; __DISPROVED__