Anne is cold. Dave is big. Erin is big. If Erin is cold and Erin is not red then Erin is blue. Young, big people are cold. If Anne is young then Anne is not round.
Dave is not big.
@0: Anne is cold.[(triple1)] Dave is big.[(triple2)] Erin is big.[(triple3)]