Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is white. Harry is not young. All rough things are quiet. If Harry is blue then Harry is cold. All quiet things are white. All quiet things are not young. If something is young and not cold then it is not green. If something is quiet and not rough then it is green.
Harry is quiet.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple1) -> rule2))] Harry is green.[(triple3)] Harry is not young.[(triple7 OR ((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] Harry is quiet.[(triple4 OR ((triple5) -> rule1))] Harry is rough.[(triple5)] Harry is white.[(triple6 OR ((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))]