Anne is green. If Anne is smart then Anne is furry. If something is quiet and cold then it is green. If something is young and quiet then it is red. If Anne is furry and Anne is smart then Anne is young. Quiet things are red. If something is smart and cold then it is young. If something is young and green then it is smart. If something is young and smart then it is quiet.
Anne is not quiet.
@0: Anne is green.[(triple1)]