「「あの座薬は疎いけど直行しない」ということは嘘だ」ということは成り立つ
fact1: 「腫れぼったい」物はある fact2: 「腫れぼったい」ものがあるならばあの座薬は疎い一方で直行しない
$facts$ = fact1: 「腫れぼったい」物はある fact2: 「腫れぼったい」ものがあるならばあの座薬は疎い一方で直行しない ; $hypothesis$ = 「「あの座薬は疎いけど直行しない」ということは嘘だ」ということは成り立つ ; $proof$ = 
事実1: 「腫れぼったい」物はある
事実2: 「腫れぼったい」ものがあるならばあの座薬は疎い一方で直行しない

仮説: 「「あの座薬は疎いけど直行しない」ということは嘘だ」ということは成り立つ