Harry is big. Harry is cold. Harry is furry. Harry is rough. Harry is not round. Harry is smart. Harry is young. If Harry is not rough then Harry is young. If Harry is rough and Harry is cold then Harry is furry.
Harry is cold.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple4 triple2) -> rule2))] Harry is not round.[(triple5)] Harry is rough.[(triple4)] Harry is smart.[(triple6)] Harry is young.[(triple7)]