Bob is red. Gary is round. If Bob is smart then Bob is red. If something is furry then it is red. All round, smart things are nice. Green things are smart. Kind things are red. Green, nice things are furry.
Gary is green.
@0: Bob is red.[(triple1)] Gary is round.[(triple2)]