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