Harry is not furry. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is young. If someone is round and quiet then they are kind. If someone is nice then they are young. All nice people are young. If someone is nice and not furry then they are rough. All rough, young people are nice. If someone is quiet and not kind then they are nice.
Harry is not furry.
@0: Harry is kind.[(triple2 OR ((triple6 triple4) -> rule1))] Harry is nice.[(triple3 OR ((triple5 triple7) -> rule5))] Harry is not furry.[(triple1)] Harry is quiet.[(triple4)] Harry is rough.[(triple5 OR ((triple3 triple1) -> rule4))] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((triple3) -> rule2) OR ((triple3) -> rule3))]