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