Bob is red. Charlie is round. Gary is red. Harry is red. If Bob is furry then Bob is red. All green things are red.
Bob is round.
@0: Bob is red.[(triple1)] Charlie is round.[(triple2)] Gary is red.[(triple3)] Harry is red.[(triple4)]