Anne is red. Charlie is big. Gary is young. Harry is kind. If someone is blue and not kind then they are big. Smart people are not blue.
Charlie is blue.
@0: Anne is red.[(triple1)] Charlie is big.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)]