Harry is furry. Harry is red. Harry is not white. If something is kind and nice then it is quiet. Nice things are red. White, red things are furry. Quiet things are not white. Big, red things are not kind. All furry things are nice.
Harry is not white.
@0: Harry is furry.[(triple1)] Harry is not white.[(triple3)] Harry is red.[(triple2 OR ((((triple1) -> rule6)) -> rule2))] @1: Harry is nice.[(((triple1) -> rule6))]