もし神が完全ならあらゆる性質を欠けることなく持っている はずであり、その中には存在するという性質も含まれる。 神は完全である。 ∴神は存在する。
もしHが大学生なら、彼女は大学に通うだろう。 Hは大学に通っていない。 ∴Hは大学生ではない。
もしAが犯人ならば、犯行時刻にアリバイがないはずである。 Aにはアリバイがない。 ∴Aは犯人である。
もし成績が上がったら、太郎は自転車を買ってもらえる。 太郎の成績は上がらなかった。 ∴太郎は自転車を買ってもらえない。