premise: One horse has wraps around its legs. hypothesis: Horses have bare legs.
contradiction: One horse and multiple horses are two different amounts of horses.  A horse cannot have bare legs if it also has wraps on its legs.