Anne is kind. Anne is not rough. Anne is smart. Anne is not white. Gary is blue. Gary is red. Gary is not white. If Anne is red and Anne is kind then Anne is smart. If someone is red and rough then they are kind. All smart, blue people are kind. All smart, red people are not white. If Anne is cold and Anne is smart then Anne is red. If someone is rough and cold then they are blue. If someone is rough then they are blue. If Gary is blue and Gary is kind then Gary is red.
Gary is not red.
@0: Anne is kind.[(triple1)] Anne is not rough.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Gary is blue.[(triple5)] Gary is not white.[(triple7)] Gary is red.[(triple6)]