Harry is cold. Harry is green. Harry is kind. Harry is not red. Harry is rough. Harry is round. Harry is not smart. If Harry is red then Harry is green. All smart, cold things are not rough. If something is rough then it is round. If something is red then it is smart. If Harry is red and Harry is not smart then Harry is round. Round things are kind.
Harry is cold.
@0: Harry is cold.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3 OR ((triple6) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Harry is not red.[(triple4)] Harry is not smart.[(triple7)] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple5) -> rule3))]