Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Harry is not young. If someone is cold and not young then they are kind. If someone is quiet then they are blue.
Harry is blue.
@0: Harry is blue.[(triple1 OR ((triple4) -> rule2))] Harry is cold.[(triple2)] Harry is kind.[(triple3 OR ((triple2 triple7) -> rule1))] Harry is not young.[(triple7)] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple6)]