Charlie is kind. Gary is blue. Gary is cold. Gary is red. Harry is kind. Harry is red. Harry is not smart. If Harry is smart then Harry is red. If something is nice and not smart then it is cold. If something is red and not blue then it is not white. All blue, kind things are not white. If Charlie is kind then Charlie is red. If Charlie is kind and Charlie is not white then Charlie is not cold.
Charlie is white.
@0: Charlie is kind.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is red.[(triple4)] Harry is kind.[(triple5)] Harry is not smart.[(triple7)] Harry is red.[(triple6)] @1: Charlie is red.[(((triple1) -> rule5))]