consumables Deductions human food is subclass of consumables ⇐ (human food is subclass of disposable product), (disposable product is subclass of consumables), (is subclass of is a transitive relation)