Anne is red. Dave is round. Fiona is blue. All smart things are red. If something is big and furry then it is smart.
Dave is round.
@0: Anne is red.[(triple1)] Dave is round.[(triple2)] Fiona is blue.[(triple3)]