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.
Charlie is not nice.
@0: Charlie is smart.[(triple1)] Dave is smart.[(triple2)] Fiona is furry.[(triple3)]