that something is branchiate but it is not Gnostic does not hold.
sent1: the soul is Gnostic but it is not a spinach if the davenport is Gnostic. sent2: the davenport is Orthodox. sent3: something does not dedicate but it is Orthodox. sent4: there exists something such that it is not Gnostic. sent5: something is Orthodox. sent6: something is a kind of unpronounceable thing that does manhandle archduchess. sent7: the caliper is a spinach. sent8: the fact that the caliper is branchiate is not wrong. sent9: something does dedicate and it is Orthodox. sent10: something is branchiate and it is a Gnostic. sent11: the fact that the caliper is branchiate hold if the davenport is branchiate. sent12: the fact that the caliper is a spinach is not false if it is branchiate. sent13: if a non-Gnostic thing is branchiate the caliper is a spinach. sent14: the davenport is a spinach if it does discountenance Alternanthera. sent15: the fact that the caliper is a spinach is not incorrect if it is a kind of a Gnostic. sent16: something is branchiate. sent17: the davenport does paste but it is not immediate. sent18: if the davenport is branchiate then the caliper is branchiate but it is not a Gnostic. sent19: there exists something such that it does not dedicate. sent20: there exists something such that it is branchiate thing that is not a spinach. sent21: the caliper is thalamocortical. sent22: the davenport is a spinach if something that does not dedicate is Orthodox. sent23: the davenport is branchiate if that it is a kind of a spinach hold.
sent3 & sent22 -> int1: the davenport is a kind of a spinach.; int1 & sent23 -> int2: the davenport is branchiate.; int2 & sent18 -> int3: the caliper is branchiate but it is not a Gnostic.; int3 -> hypothesis;
$hypothesis$ = that something is branchiate but it is not Gnostic does not hold. ; $context$ = sent1: the soul is Gnostic but it is not a spinach if the davenport is Gnostic. sent2: the davenport is Orthodox. sent3: something does not dedicate but it is Orthodox. sent4: there exists something such that it is not Gnostic. sent5: something is Orthodox. sent6: something is a kind of unpronounceable thing that does manhandle archduchess. sent7: the caliper is a spinach. sent8: the fact that the caliper is branchiate is not wrong. sent9: something does dedicate and it is Orthodox. sent10: something is branchiate and it is a Gnostic. sent11: the fact that the caliper is branchiate hold if the davenport is branchiate. sent12: the fact that the caliper is a spinach is not false if it is branchiate. sent13: if a non-Gnostic thing is branchiate the caliper is a spinach. sent14: the davenport is a spinach if it does discountenance Alternanthera. sent15: the fact that the caliper is a spinach is not incorrect if it is a kind of a Gnostic. sent16: something is branchiate. sent17: the davenport does paste but it is not immediate. sent18: if the davenport is branchiate then the caliper is branchiate but it is not a Gnostic. sent19: there exists something such that it does not dedicate. sent20: there exists something such that it is branchiate thing that is not a spinach. sent21: the caliper is thalamocortical. sent22: the davenport is a spinach if something that does not dedicate is Orthodox. sent23: the davenport is branchiate if that it is a kind of a spinach hold. ; $proof$ = 
sent3 & sent22 -> int1: the davenport is a kind of a spinach.; int1 & sent23 -> int2: the davenport is branchiate.; int2 & sent18 -> int3: the caliper is branchiate but it is not a Gnostic.; int3 -> hypothesis; __DISPROVED__