"Es ist nicht alles Gold, was glänzt"

P:: nicht für-alle x: wenn x glänzt, dann ist x aus Gold
O:: (befolgt Regel für Negation) Ich greife an mit
    für-alle x: wenn x glänzt, dann ist x aus Gold
P:: (bei der Negationsregel gibt es für P keine Verteidigung, daher: -)
    Ich greife an mit Perle42
    (Perle42 ist ein Eigenname, der für den Platzhalter x eingesetzt wird)
O:: (setzt ein)
    Wenn Perle42 glänzt, dann ist Perle42 aus Gold
P:: (behauptet gemäss Subjunktionsregel die Prämisse)
    Perle42 glänzt
O:: (verteidigt sich nicht, sondern schiebt die Verteidigung auf: ...
    und startet einen Gegenangriff)
    wie bitte? Zeig' mal!
P:: Zeigt die glänzende Perle vor in einer Weise, die O akzeptieren muss.
O:: (muss nun seine zurückgestellte Verteidigung präsentieren)
    Perle42 ist aus Gold
P:: Zeig mal!
O:: (kann das nicht, weil P ja Perle42 so gewählt hat, dass sie nicht
    aus Gold ist)
P:: (kann nicht mehr weiter und verliert) +
O:: (hat gewonnen)