the sluggard does not ramble anxiolytic.
sent1: if there exists something such that the fact that it is a kind of negligent thing that is a VDU is not correct then the velocipede is petalous. sent2: something does ramble anxiolytic and is a VDU. sent3: there exists something such that that it does instruct Oedogonium is true. sent4: there is something such that it is not branchless. sent5: there are petalous and negligent things. sent6: something is branchless but it is not negligent if the fact that it is not a VDU is correct. sent7: if the velocipede is petalous the sluggard does ramble anxiolytic. sent8: the sluggard is negligent if there exists something such that the fact that it is a kind of a VDU and it does ramble anxiolytic is not right. sent9: that the Indonesian is a kind of negligent thing that is a VDU does not hold if there exists something such that it is not branchless.
sent4 & sent9 -> int1: that that the Indonesian is negligent a VDU hold does not hold.; int1 -> int2: there is something such that the fact that it is negligent and a VDU does not hold.; int2 & sent1 -> int3: the velocipede is petalous.; int3 & sent7 -> hypothesis;
the sluggard does not ramble anxiolytic.
sent6 -> int4: the Indonesian is branchless but it is not negligent if it is not a VDU.;
$hypothesis$ = the sluggard does not ramble anxiolytic. ; $context$ = sent1: if there exists something such that the fact that it is a kind of negligent thing that is a VDU is not correct then the velocipede is petalous. sent2: something does ramble anxiolytic and is a VDU. sent3: there exists something such that that it does instruct Oedogonium is true. sent4: there is something such that it is not branchless. sent5: there are petalous and negligent things. sent6: something is branchless but it is not negligent if the fact that it is not a VDU is correct. sent7: if the velocipede is petalous the sluggard does ramble anxiolytic. sent8: the sluggard is negligent if there exists something such that the fact that it is a kind of a VDU and it does ramble anxiolytic is not right. sent9: that the Indonesian is a kind of negligent thing that is a VDU does not hold if there exists something such that it is not branchless. ; $proof$ = 
sent4 & sent9 -> int1: that that the Indonesian is negligent a VDU hold does not hold.; int1 -> int2: there is something such that the fact that it is negligent and a VDU does not hold.; int2 & sent1 -> int3: the velocipede is petalous.; int3 & sent7 -> hypothesis; __DISPROVED__