Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is white. If Harry is nice and Harry is white then Harry is round.
Harry is not furry.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is red.[(triple5)] Harry is round.[(triple6 OR ((triple4 triple7) -> rule1))] Harry is white.[(triple7)]