Anne is nice. Anne is quiet. Anne is red. Anne is smart. Bob is cold. Erin is cold. Erin is nice. Erin is not quiet. Erin is red. Erin is rough. Gary is not red. Gary is not smart. If someone is red and not nice then they are not cold. If Gary is cold and Gary is not nice then Gary is kind. Quiet, rough people are smart.
Gary is red.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is cold.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is not quiet.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Gary is not red.[(triple11)] Gary is not smart.[(triple12)]