The way to show that one graph element does not follow from another is to make the cost of aligning them high.
since we are embedded in a search for the lowest cost alignment, this will just cause the system to choose an alternate alignment rather than recognizing a non-entailment.