Anne is quiet. Charlie is cold. Dave is cold. All smart, green things are cold. If Anne is furry and Anne is big then Anne is green. If Dave is furry then Dave is cold.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Charlie is cold.[(triple2)] Dave is cold.[(triple3)]