Anne is cold. All nice people are kind. If Anne is smart then Anne is kind. If Anne is quiet and Anne is cold then Anne is young. If someone is rough then they are cold. All kind people are smart. All rough people are young. If Anne is cold and Anne is nice then Anne is quiet. All cold, kind people are nice.
Anne is not smart.
@0: Anne is cold.[(triple1)]