if some dreams are terrible, and all sheep are not terrible, then,
some dreams = terrible, but not all dreams
all sheep = not terrible,
if some dreams are terrible,
some also have to be not terrible,
and if not terrible = all sheep,
then some dreams can also be sheep