その禁句は憎たらしくない
fact1: もしもその禁句が眠たいならば憎たらしい fact2: その禁句は眠たい
$facts$ = fact1: もしもその禁句が眠たいならば憎たらしい fact2: その禁句は眠たい ; $hypothesis$ = その禁句は憎たらしくない ; $proof$ = 
事実1: もしもその禁句が眠たいならば憎たらしい
事実2: その禁句は眠たい

仮説: その禁句は憎たらしくない