Bob is round. Charlie is blue. Erin is round. Harry is red. Green, blue people are round. If someone is green and red then they are round. If Harry is blue then Harry is green.
Harry is not red.
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Erin is round.[(triple3)] Harry is red.[(triple4)]