Anne is cold. Dave is smart. Erin is not smart. If Dave is big then Dave is young. If something is young and not green then it is not big.
Anne is not cold.
@0: Anne is cold.[(triple1)] Dave is smart.[(triple2)] Erin is not smart.[(triple3)]