Anne is smart. Dave is young. If Dave is big and Dave is blue then Dave is nice. All round, furry things are smart. All young, nice things are round.
Dave is young.
@0: Anne is smart.[(triple1)] Dave is young.[(triple2)]