Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. If someone is smart and furry then they are cold.
Harry is smart.
@0: Harry is cold.[(triple1 OR ((triple6 triple2) -> rule1))] Harry is furry.[(triple2)] Harry is nice.[(triple3)] Harry is quiet.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]