Rules and Facts contradictory descriptions Standing to definitions : A fact is a sentence that states that a relation holds between individuals. A rule is a relation that holds between individuals provided that some other relations hold. According to this, why it is not possible to construct contradictory descriptions using facts and rules ? For example, i can use as facts the fact that a = b and a = not(b) and i have a contradiction....

You define a fact as an expression that says that some relation holds ... as such you can only express _positive_ claims, and not any negations, i.e. you cannot express that some relation does _not_ hold. The same is true for the rules: they apparently can only say that some relation holds when other relations holds, and so you cannot make any negations part of rules either. It is therefore impossible to use that $a \
ot = b$ as a fact, or make that part of a rule. And indeed, without negations you cannot get any contradictions at all.