Anne is green. Anne is smart. Erin is cold. If Anne is cold then Anne is red. If someone is quiet and green then they are cold.
Anne is not smart.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Erin is cold.[(triple3)]