Anne is nice. Gary is nice. Harry is red. All nice, white people are red. If someone is big and nice then they are cold. All cold, big people are green.
Gary is not cold.
@0: Anne is nice.[(triple1)] Gary is nice.[(triple2)] Harry is red.[(triple3)]