Bob is blue. Bob is cold. Bob is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Harry is big. Harry is cold. Harry is furry. Harry is red. If Harry is kind then Harry is furry. Kind people are blue.
Harry is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is red.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is red.[(triple12)]