Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Cold, round people are furry.
Harry is not smart.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple2 triple6) -> rule1))] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)]