Bob is blue. Charlie is nice. Erin is red. Harry is nice. If Erin is red and Erin is blue then Erin is not quiet. If Charlie is quiet then Charlie is nice. If someone is big and not white then they are young.
Charlie is nice.
@0: Bob is blue.[(triple1)] Charlie is nice.[(triple2)] Erin is red.[(triple3)] Harry is nice.[(triple4)]