Erin is blue. Erin is nice. Erin is red. Erin is white. Gary is blue. Gary is kind. Gary is nice. Gary is white. Harry is kind. Harry is not nice. Harry is red. Harry is round. If Gary is blue and Gary is big then Gary is not red. If something is red and not blue then it is not nice.
Harry is not kind.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is white.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is white.[(triple8)] Harry is kind.[(triple9)] Harry is not nice.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)]