that there exists something such that if it is calceolate then it joints does not hold.
sent1: if that something is both cleistogamous and not resinlike does not hold then it does joint. sent2: the fact that the fact that something is cleistogamous and it is resinlike hold does not hold if it is calceolate. sent3: if that the low-warp-loom is calceolate hold that it is not non-cleistogamous and not non-resinlike is not true. sent4: that something is cleistogamous and is not resinlike is not right if it is calceolate. sent5: if the low-warp-loom is resinlike it is not non-jointed. sent6: that the low-warp-loom is a kind of cleistogamous thing that is resinlike is wrong.
sent4 -> int1: if the low-warp-loom is calceolate the fact that it is cleistogamous and not resinlike is incorrect.; void -> assump1: Let's assume that the low-warp-loom is calceolate.; int1 & assump1 -> int2: the fact that the low-warp-loom is both cleistogamous and not resinlike is false.; sent1 -> int3: if that the low-warp-loom is cleistogamous but not resinlike is not correct then it joints.; int2 & int3 -> int4: the low-warp-loom is a kind of a jointed.; [assump1] & int4 -> int5: the low-warp-loom does joint if that it is calceolate is true.; int5 -> hypothesis;
$hypothesis$ = that there exists something such that if it is calceolate then it joints does not hold. ; $context$ = sent1: if that something is both cleistogamous and not resinlike does not hold then it does joint. sent2: the fact that the fact that something is cleistogamous and it is resinlike hold does not hold if it is calceolate. sent3: if that the low-warp-loom is calceolate hold that it is not non-cleistogamous and not non-resinlike is not true. sent4: that something is cleistogamous and is not resinlike is not right if it is calceolate. sent5: if the low-warp-loom is resinlike it is not non-jointed. sent6: that the low-warp-loom is a kind of cleistogamous thing that is resinlike is wrong. ; $proof$ = 
sent4 -> int1: if the low-warp-loom is calceolate the fact that it is cleistogamous and not resinlike is incorrect.; void -> assump1: Let's assume that the low-warp-loom is calceolate.; int1 & assump1 -> int2: the fact that the low-warp-loom is both cleistogamous and not resinlike is false.; sent1 -> int3: if that the low-warp-loom is cleistogamous but not resinlike is not correct then it joints.; int2 & int3 -> int4: the low-warp-loom is a kind of a jointed.; [assump1] & int4 -> int5: the low-warp-loom does joint if that it is calceolate is true.; int5 -> hypothesis; __DISPROVED__