Harry is cold. Harry is nice. Harry is quiet. If Harry is not kind then Harry is not red. If Harry is cold and Harry is not kind then Harry is blue. All red people are nice. Red people are nice. All quiet people are nice. Nice, kind people are not red. If someone is kind then they are not cold. Cold people are not blue.
Harry is quiet.
@0: Harry is cold.[(triple1)] Harry is nice.[(triple2 OR ((triple3) -> rule5))] Harry is quiet.[(triple3)] @1: Harry is not blue.[(((triple1) -> rule8))]