Bob is young. Charlie is nice. Fiona is green. Harry is smart. All nice, rough things are smart. If Harry is red then Harry is young. If something is red then it is young.
Charlie is not nice.
@0: Bob is young.[(triple1)] Charlie is nice.[(triple2)] Fiona is green.[(triple3)] Harry is smart.[(triple4)]