that the fact that the beadsman is an octet and it does upload revival is not true if the duplication is not backless is not correct.
sent1: the beadsman is a kind of an octet that does not harangue Turkey. sent2: the duplication is an octet and does upload revival if the beadsman is not an octet. sent3: something that does not uncoil flow ferments dimple and is not a kind of a obtainment. sent4: the duplication does not harangue hydrocortisone. sent5: the duplication is economical but it is not backless. sent6: if the beadsman is not an octet it is backless and does not upload revival. sent7: the centerfield uncoils Richmond but it is not backless. sent8: if the duplication does not harangue Turkey then that the beadsman does harangue Turkey and it does upload revival is not correct. sent9: the beadsman is backless an octet if the duplication does not harangue Turkey. sent10: something is a kind of bulimic thing that is not an ebb if it is not generative. sent11: if something is not backless it does harangue Turkey and it is not an octet. sent12: the fact that the beadsman does upload revival and is an octet is wrong if the duplication does not upload revival. sent13: that the duplication uncoils flow and it is an octet is not correct. sent14: if the duplication is not an octet the fact that the beadsman is an octet and it uploads revival is not right. sent15: if the beadsman is not a kind of an octet then that the duplication is backless and it does upload revival is false. sent16: if the beadsman is not an octet that the duplication is an octet and it does upload revival does not hold. sent17: if something is not an octet it uploads revival and it is not backless.
sent11 -> int1: if the duplication is not backless then it harangues Turkey and is not an octet.; void -> assump1: Let's assume that the duplication is not backless.; int1 & assump1 -> int2: the duplication harangues Turkey but it is not an octet.; int2 -> int3: the duplication is not an octet.; sent14 & int3 -> int4: the fact that the beadsman is an octet and it does upload revival is not right.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the fact that the beadsman is an octet and it does upload revival is not true if the duplication is not backless is not correct. ; $context$ = sent1: the beadsman is a kind of an octet that does not harangue Turkey. sent2: the duplication is an octet and does upload revival if the beadsman is not an octet. sent3: something that does not uncoil flow ferments dimple and is not a kind of a obtainment. sent4: the duplication does not harangue hydrocortisone. sent5: the duplication is economical but it is not backless. sent6: if the beadsman is not an octet it is backless and does not upload revival. sent7: the centerfield uncoils Richmond but it is not backless. sent8: if the duplication does not harangue Turkey then that the beadsman does harangue Turkey and it does upload revival is not correct. sent9: the beadsman is backless an octet if the duplication does not harangue Turkey. sent10: something is a kind of bulimic thing that is not an ebb if it is not generative. sent11: if something is not backless it does harangue Turkey and it is not an octet. sent12: the fact that the beadsman does upload revival and is an octet is wrong if the duplication does not upload revival. sent13: that the duplication uncoils flow and it is an octet is not correct. sent14: if the duplication is not an octet the fact that the beadsman is an octet and it uploads revival is not right. sent15: if the beadsman is not a kind of an octet then that the duplication is backless and it does upload revival is false. sent16: if the beadsman is not an octet that the duplication is an octet and it does upload revival does not hold. sent17: if something is not an octet it uploads revival and it is not backless. ; $proof$ = 
sent11 -> int1: if the duplication is not backless then it harangues Turkey and is not an octet.; void -> assump1: Let's assume that the duplication is not backless.; int1 & assump1 -> int2: the duplication harangues Turkey but it is not an octet.; int2 -> int3: the duplication is not an octet.; sent14 & int3 -> int4: the fact that the beadsman is an octet and it does upload revival is not right.; [assump1] & int4 -> hypothesis; __DISPROVED__