  Thus the true premise (i) gives a false conclusion (iii) via a sequence of inferences using (ii). A rather natural solution inside an extension of MVL with a graded notion of inference, often called fuzzy logic, is to take the notion of heap as a vague one, i.e. as a notion which may hold true of given objects only to some (truth) degree. Additionally it is suitable to consider premise (ii) as only partially true, however to a degree which is quite near to the maximal degree 1. Then each single inference step is of the form: