「このＤＩＤは無限定でない」ということは確かだ
fact1: 仮にこの購入代金が熟考するかまたは問題自体だとすればこのＤＩＤは無限定でない fact2: もしこの購入代金が問題自体であるとしたらこのＤＩＤは無限定でない fact3: 「「シールドするし更に鎮静する」ということは正しい」ものはある fact4: もしも「シールドするしさらに鎮静する」物があるとすればこの購入代金は熟考する
fact3 & fact4 -> int1: この購入代金は熟考する; int1 -> int2: この購入代金は熟考するかもしくは問題自体であるかもしくは両方ともである; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこの購入代金が熟考するかまたは問題自体だとすればこのＤＩＤは無限定でない fact2: もしこの購入代金が問題自体であるとしたらこのＤＩＤは無限定でない fact3: 「「シールドするし更に鎮静する」ということは正しい」ものはある fact4: もしも「シールドするしさらに鎮静する」物があるとすればこの購入代金は熟考する ; $hypothesis$ = 「このＤＩＤは無限定でない」ということは確かだ ; $proof$ = 
fact3 & fact4 -> int1: この購入代金は熟考する; int1 -> int2: この購入代金は熟考するかもしくは問題自体であるかもしくは両方ともである; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこの購入代金が熟考するかまたは問題自体だとすればこのＤＩＤは無限定でない
事実2: もしこの購入代金が問題自体であるとしたらこのＤＩＤは無限定でない
事実3: 「「シールドするし更に鎮静する」ということは正しい」ものはある
事実4: もしも「シールドするしさらに鎮静する」物があるとすればこの購入代金は熟考する

仮説: 「このＤＩＤは無限定でない」ということは確かだ
1. 事実3と事実4から、推論1: "この購入代金は熟考する"が導かれる
2. 推論1から、推論2: "この購入代金は熟考するかもしくは問題自体であるかもしくは両方ともである"が導かれる
3. 推論2と事実1から、仮説が導かれる

よって、仮説が証明されました。