Charlie is furry. Dave is blue. Fiona is blue. Harry is rough. Nice things are rough. All smart things are blue.
Harry is cold.
@0: Charlie is furry.[(triple1)] Dave is blue.[(triple2)] Fiona is blue.[(triple3)] Harry is rough.[(triple4)]