Anne is green. Bob is kind. Gary is green. Harry is green. If something is blue and green then it is rough. All white, blue things are not rough. If something is rough and not green then it is white. If Anne is blue and Anne is not green then Anne is not cold. All cold, kind things are big. If Gary is blue and Gary is big then Gary is rough.
Harry is not rough.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)] Gary is green.[(triple3)] Harry is green.[(triple4)]