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