Anne is nice. Charlie is blue. Harry is blue. Harry is not cold. Harry is not kind. Harry is not nice. Harry is rough. Kind things are quiet. If something is quiet then it is not kind. All rough things are not nice. All cold, kind things are not rough. If something is cold then it is blue. If something is red then it is blue. Red things are blue. If something is quiet and not nice then it is blue.
Harry is red.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Harry is blue.[(triple3)] Harry is not cold.[(triple4)] Harry is not kind.[(triple5)] Harry is not nice.[(triple6 OR ((triple7) -> rule3))] Harry is rough.[(triple7)]