Charlie is smart. Dave is smart. Fiona is furry. Rough things are blue. If Charlie is rough and Charlie is blue then Charlie is nice. All blue, round things are nice.
Fiona is furry.
@0: Charlie is smart.[(triple1)] Dave is smart.[(triple2)] Fiona is furry.[(triple3)]