Gary is blue. Gary is cold. Gary is not green. Gary is not kind. Gary is red. Gary is rough. Gary is white. Harry is blue. Harry is not cold. Harry is not green. Harry is not kind. Harry is not red. Harry is not rough. Harry is white. If someone is blue and not white then they are not cold. All kind, green people are cold. If someone is kind and cold then they are green.
Gary is not rough.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is not green.[(triple3)] Gary is not kind.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is not cold.[(triple9)] Harry is not green.[(triple10)] Harry is not kind.[(triple11)] Harry is not red.[(triple12)] Harry is not rough.[(triple13)] Harry is white.[(triple14)]