Integrity constraints (IC) false :- amount(S,V1), amount(S,V2), V1 ≠ V2.
محدودیتهای یکپارچگی (IC) نادرست: - مقدار (S, V1)، مقدار (S, V2)، V1 ≠ V2.