Anne is round. Bob is round. If Bob is round and Bob is blue then Bob is smart. If something is red then it is smart. All smart, kind things are round.
Bob is round.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)]