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.
Anne is not nice.
@0: Anne is nice.[(triple1)] Gary is nice.[(triple2)] Harry is red.[(triple3)]