Charlie is quiet. Harry is young. If something is white and blue then it is not young. All furry things are red. If something is kind and not furry then it is not quiet. If something is furry and not young then it is not kind. All quiet things are kind. If Harry is not quiet then Harry is red.
Charlie is quiet.
@0: Charlie is quiet.[(triple1)] Harry is young.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule5))]