Anne is furry. Charlie is nice. Fiona is kind. Harry is furry. Smart, young people are round. Cold people are round. Smart people are nice. All nice, round people are kind. If Charlie is furry then Charlie is kind. Nice people are smart. If someone is young then they are furry. If Harry is smart and Harry is kind then Harry is round.
Charlie is not smart.
@0: Anne is furry.[(triple1)] Charlie is nice.[(triple2)] Fiona is kind.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule6))]