「その社会政策は厚ぼったい一方でそれは酔っ払わない」ということは嘘である
fact1: 「想定し難くない」ものはある fact2: もし仮に「想定し難いということはない」ものがあるならばあの社会政策は厚ぼったいけれど酔っ払うということはない
$facts$ = fact1: 「想定し難くない」ものはある fact2: もし仮に「想定し難いということはない」ものがあるならばあの社会政策は厚ぼったいけれど酔っ払うということはない ; $hypothesis$ = 「その社会政策は厚ぼったい一方でそれは酔っ払わない」ということは嘘である ; $proof$ = 
事実1: 「想定し難くない」ものはある
事実2: もし仮に「想定し難いということはない」ものがあるならばあの社会政策は厚ぼったいけれど酔っ払うということはない

仮説: 「その社会政策は厚ぼったい一方でそれは酔っ払わない」ということは嘘である