context: Heifer is located at barn. Barn is located at field. Wine is located at venes. Wine is located at field. Several type cannot have a location of fish market. Wine cannot have a location of barn. Several type cannot have a location of cold. Several type cannot have a location of horse. Fat sing lady is located at venes. Horse cannot have a location of cold. Horse is located at stall. Stall is located at barn.
text: Horse cannot have a location of barn.