Anne is red. Dave is smart. Harry is round. If Dave is smart and Dave is quiet then Dave is red. If someone is smart and rough then they are nice. Smart, red people are quiet.
Harry is round.
@0: Anne is red.[(triple1)] Dave is smart.[(triple2)] Harry is round.[(triple3)]