Anne is quiet. Charlie is round. Dave is round. Harry is kind. All kind, quiet people are furry. If Harry is kind and Harry is round then Harry is smart. If someone is round then they are kind. All cold, quiet people are kind. If Charlie is smart then Charlie is white. If Charlie is round and Charlie is cold then Charlie is smart. If Charlie is quiet then Charlie is furry. If Dave is smart then Dave is quiet.
Dave is not quiet.
@0: Anne is quiet.[(triple1)] Charlie is round.[(triple2)] Dave is round.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule3))] Dave is kind.[(((triple3) -> rule3))]