Wolfram言語の関数の多くは，規則の形で解を返すので，ユーザは自分の結果を探究したり解釈したりするためにこれらの規則を使えなくてはならない．このような解を使う方法の多くは，解こうとしている問題の種類に特有のものではあるものの，ユーザはリストから規則の解を取り出し，それを式に適用するという2つの基本的な作業を絶えず行うことになる．

簡単な方程式 を について解く：

この方程式の解は，ネストしたリストに入っている．これはリストのリストである．Wolfram言語におけるリストは{}で表す．リスト中の項目は要素と呼ばれ，その位置で参照することができる．

解を使うためには，まずネストしたリストからそれを取り出す必要がある．[[ ]]（Partの簡略形）をネストしたリストにおける解の位置と一緒に使う．ここでは解はネストしたリストの最初の（そして唯一の）要素である：

今度は「/.」（ReplaceAllの簡略形）を使って方程式 に解を代入することができる：

二次方程式については，2つの解が返される．それぞれの解に対して1つずつ，合計2つのサブリストがある：

以下は2番目の解を使う：

線形方程式系を解くと，解の集合が1つのサブリストで返される．

解きたい簡単な線形方程式系のリストを設定する：

方程式を解く．1つの一意解の集合を含むネストしたリストが返される：

解の集合を含む内側のリストは，ネストしたリストの最初の（そして唯一の）要素である．したがって、ネストしたリストに[[1]]を使うと，解のリストが返される：

以下で解の集合を使う：

内側のリストにおける解の位置を構文に含むことによって，解の集合の部分を得ることができる．

第1変数の解を得る：

それを代入する：

同じように，以下で2番目と3番目の変数を代入する：

以下の方程式は，2つの解集合を持つ：

両方の解集合を代入する：

以下は，方程式の解を確かめる方法を示している．

まずパラメータによって二次方程式を解く：

代入によって結果を確かめる：

代入の結果は，TrueあるいはFalseではなく，方程式の形であることに注意する．

Simplifyを使って，代入が方程式を満足するかどうかを判断する．それぞれの代入がTrueと評価され，解が方程式を満足することを示す：

以下は，代入することによって，パラメータaの関数として解をプロットする方法である：

同じように，solの最初の解だけをプロットする：