Anne is smart. Charlie is green. Erin is quiet. If someone is kind then they are rough. If someone is kind and green then they are blue. If Anne is rough then Anne is kind. All green, kind people are smart. If someone is cold and quiet then they are kind. If someone is blue and kind then they are cold.
Anne is quiet.
@0: Anne is smart.[(triple1)] Charlie is green.[(triple2)] Erin is quiet.[(triple3)]