「「仮に「デジタルＩＤだ」ということは事実だとすれば気まずいが倹しかない」ものはある」ということは誤りだ
fact1: もし仮にこのコンビニユーザーはデジタルＩＤならば「気まずいけど倹しかない」ということは成り立つ
$facts$ = fact1: もし仮にこのコンビニユーザーはデジタルＩＤならば「気まずいけど倹しかない」ということは成り立つ ; $hypothesis$ = 「「仮に「デジタルＩＤだ」ということは事実だとすれば気まずいが倹しかない」ものはある」ということは誤りだ ; $proof$ = 
事実1: もし仮にこのコンビニユーザーはデジタルＩＤならば「気まずいけど倹しかない」ということは成り立つ

仮説: 「「仮に「デジタルＩＤだ」ということは事実だとすれば気まずいが倹しかない」ものはある」ということは誤りだ