Bob is green. Dave is nice. Erin is cold. Harry is blue. If something is smart and green then it is young.
Harry is not young.
@0: Bob is green.[(triple1)] Dave is nice.[(triple2)] Erin is cold.[(triple3)] Harry is blue.[(triple4)]