Charlie is smart. Harry is not smart. Harry is white. If someone is furry and not white then they are young. Nice people are quiet. Nice people are not blue. All quiet people are not blue. Smart people are furry. If someone is quiet and furry then they are nice.
Harry is not furry.
@0: Charlie is smart.[(triple1)] Harry is not smart.[(triple2)] Harry is white.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule5))]