Anne is kind. Charlie is kind. If someone is smart and green then they are round. If someone is quiet then they are not round. Quiet people are not blue. All smart people are blue. If someone is green and blue then they are cold. If Anne is smart and Anne is green then Anne is cold. If someone is green and kind then they are smart. All quiet people are not smart.
Charlie is not round.
@0: Anne is kind.[(triple1)] Charlie is kind.[(triple2)]