Dave is smart. Fiona is smart. Harry is white. All smart, red things are round. If something is white and nice then it is furry. All smart, young things are red. If something is furry then it is round. If Harry is round and Harry is smart then Harry is furry. If something is furry then it is white.
Dave is not smart.
@0: Dave is smart.[(triple1)] Fiona is smart.[(triple2)] Harry is white.[(triple3)]