Charlie is red. Dave is white. Erin is white. Harry is red. If Dave is rough and Dave is blue then Dave is red. If something is nice then it is quiet. If Erin is nice and Erin is round then Erin is white.
Charlie is not quiet.
@0: Charlie is red.[(triple1)] Dave is white.[(triple2)] Erin is white.[(triple3)] Harry is red.[(triple4)]