Well, the first premise is true enough: rain is water, and when it rains on the grass, the grass gets wet.
(the grass; gets; wet; T:when it rains on the grass) (rain; is; water) Context(rain is,List([40, 47))):(the first premise; is; true enough)
rain is,List([40, 47))
the grass rain the first premise
gets is is
wet T:when it rains on the grass
water
true enough