Harry is furry. Harry is not green. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is not smart. If someone is kind then they are red. If Harry is nice and Harry is not smart then Harry is rough. If someone is nice and not red then they are furry.
Harry is rough.
@0: Harry is furry.[(triple1)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is not green.[(triple2)] Harry is not smart.[(triple7)] Harry is red.[(triple5 OR ((triple3) -> rule1))] Harry is rough.[(triple6 OR ((triple4 triple7) -> rule2))]