the fact that that the glucosamine is non-urban but it is perceptive is not true if the knocker is satisfactory is wrong.
sent1: the glucosamine leaches photo-offset if the knocker is satisfactory. sent2: the glucosamine is not urban and is perceptive if the fact that the knocker is satisfactory hold. sent3: something that does leach photo-offset is not urban and is perceptive. sent4: the put-put is perceptive. sent5: the fact that the glucosamine is urban and it is perceptive is not right. sent6: if something leaches photo-offset that it is both not urban and perceptive is not true.
void -> assump1: Let's assume that the knocker is satisfactory.; sent1 & assump1 -> int1: the glucosamine leaches photo-offset.; sent6 -> int2: if the glucosamine does leach photo-offset the fact that it is not urban and it is perceptive does not hold.; int1 & int2 -> int3: that the glucosamine is not urban and is perceptive is incorrect.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that the glucosamine is non-urban but it is perceptive is not true if the knocker is satisfactory is wrong. ; $context$ = sent1: the glucosamine leaches photo-offset if the knocker is satisfactory. sent2: the glucosamine is not urban and is perceptive if the fact that the knocker is satisfactory hold. sent3: something that does leach photo-offset is not urban and is perceptive. sent4: the put-put is perceptive. sent5: the fact that the glucosamine is urban and it is perceptive is not right. sent6: if something leaches photo-offset that it is both not urban and perceptive is not true. ; $proof$ = 
void -> assump1: Let's assume that the knocker is satisfactory.; sent1 & assump1 -> int1: the glucosamine leaches photo-offset.; sent6 -> int2: if the glucosamine does leach photo-offset the fact that it is not urban and it is perceptive does not hold.; int1 & int2 -> int3: that the glucosamine is not urban and is perceptive is incorrect.; [assump1] & int3 -> hypothesis; __DISPROVED__