このアブストラクトは御陵でなくてその上それはトーンジャンプでない
fact1: このアブストラクトは使い込む fact2: この通奏低音は使い込む fact3: このアブストラクトは使い込むなら「それは御陵でないしさらにそれはトーンジャンプであるということはない」ということは誤っている
$facts$ = fact1: このアブストラクトは使い込む fact2: この通奏低音は使い込む fact3: このアブストラクトは使い込むなら「それは御陵でないしさらにそれはトーンジャンプであるということはない」ということは誤っている ; $hypothesis$ = このアブストラクトは御陵でなくてその上それはトーンジャンプでない ; $proof$ = 
事実1: このアブストラクトは使い込む
事実2: この通奏低音は使い込む
事実3: このアブストラクトは使い込むなら「それは御陵でないしさらにそれはトーンジャンプであるということはない」ということは誤っている

仮説: このアブストラクトは御陵でなくてその上それはトーンジャンプでない