Harry is not cold. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is smart. Round, cold people are not quiet. Round people are quiet. If someone is quiet then they are smart.
Harry is not nice.
@0: Harry is nice.[(triple2)] Harry is not cold.[(triple1)] Harry is quiet.[(triple3 OR ((triple6) -> rule2))] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7 OR ((triple3) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]