「「もしもヘッドでないしそれに邪魔臭くないなら飲酒する」ものはある」ということは誤りだ
fact1: 邪魔臭くないヘッドは飲酒する fact2: 仮に何らかのものはヘッドでないしさらに邪魔臭くないとするとそれは飲酒する fact3: 「もし仮にヘッドだということはないし邪魔臭いとすれば飲酒する」ものはある
fact2 -> int1: この特別措置はヘッドでないし更に邪魔臭くないとすると飲酒する; int1 -> hypothesis;
$facts$ = fact1: 邪魔臭くないヘッドは飲酒する fact2: 仮に何らかのものはヘッドでないしさらに邪魔臭くないとするとそれは飲酒する fact3: 「もし仮にヘッドだということはないし邪魔臭いとすれば飲酒する」ものはある ; $hypothesis$ = 「「もしもヘッドでないしそれに邪魔臭くないなら飲酒する」ものはある」ということは誤りだ ; $proof$ = 
fact2 -> int1: この特別措置はヘッドでないし更に邪魔臭くないとすると飲酒する; int1 -> hypothesis; __DISPROVED__
事実1: 邪魔臭くないヘッドは飲酒する
事実2: 仮に何らかのものはヘッドでないしさらに邪魔臭くないとするとそれは飲酒する
事実3: 「もし仮にヘッドだということはないし邪魔臭いとすれば飲酒する」ものはある

仮説: 「「もしもヘッドでないしそれに邪魔臭くないなら飲酒する」ものはある」ということは誤りだ
1. 事実2から、推論1: "この特別措置はヘッドでないし更に邪魔臭くないとすると飲酒する"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。