Charlie is not nice. Harry is kind. Harry is not smart. If something is kind then it is quiet. If Charlie is red then Charlie is quiet. If Charlie is nice and Charlie is smart then Charlie is kind.
Charlie is not kind.
@0: Charlie is not nice.[(triple1)] Harry is kind.[(triple2)] Harry is not smart.[(triple3)] @1: Harry is quiet.[(((triple2) -> rule1))]