Anne is green. Erin is smart. Green, nice things are white. Round, nice things are smart. If Erin is smart and Erin is round then Erin is red.
Anne is green.
@0: Anne is green.[(triple1)] Erin is smart.[(triple2)]