Charlie is blue. Dave is kind. Gary is big. Harry is kind. Big, kind things are young. Red, blue things are quiet. All young things are quiet. If something is quiet then it is big. All nice, red things are quiet. If Dave is big then Dave is blue.
Gary is red.
@0: Charlie is blue.[(triple1)] Dave is kind.[(triple2)] Gary is big.[(triple3)] Harry is kind.[(triple4)]