Bob is kind. Dave is blue. Erin is red. Gary is red. All kind, red people are cold. All quiet people are green. Red, kind people are cold. Green people are young. Cold people are kind. If Erin is cold then Erin is blue.
Gary is not red.
@0: Bob is kind.[(triple1)] Dave is blue.[(triple2)] Erin is red.[(triple3)] Gary is red.[(triple4)]