Anne is nice. All green people are quiet. If Anne is not rough then Anne is nice. If Anne is quiet then Anne is cold. If Anne is rough then Anne is not cold. All red people are not cold. If Anne is quiet then Anne is red. If Anne is nice and Anne is furry then Anne is red. If someone is cold and not nice then they are not furry.
Anne is nice.
@0: Anne is nice.[(triple1)]