Charlie is white. Dave is big. Gary is kind. Harry is white. Red, kind things are white. Blue, red things are cold. Blue things are kind. Kind, white things are green. All red things are big. If something is kind and blue then it is cold. All blue things are kind. If something is blue then it is cold.
Harry is not kind.
@0: Charlie is white.[(triple1)] Dave is big.[(triple2)] Gary is kind.[(triple3)] Harry is white.[(triple4)]