Bob is cold. Bob is red. Charlie is not blue. Charlie is nice. Charlie is quiet. Charlie is smart. Gary is blue. Gary is nice. Gary is smart. Harry is nice. If Harry is nice then Harry is not rough.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple3)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8)] Gary is smart.[(triple9)] Harry is nice.[(triple10)] @1: Harry is not rough.[(((triple10) -> rule1))]