Harry is not big. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is not smart. If something is round and rough then it is not big.
Harry is not round.
@0: Harry is furry.[(triple2)] Harry is nice.[(triple3)] Harry is not big.[(triple1 OR ((triple6 triple5) -> rule1))] Harry is not smart.[(triple7)] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)]