Bob is white. Dave is quiet. Harry is nice. All smart things are blue. If something is smart and white then it is round. If something is white and round then it is nice.
Dave is quiet.
@0: Bob is white.[(triple1)] Dave is quiet.[(triple2)] Harry is nice.[(triple3)]