Anne is cold. Anne is kind. Anne is quiet. Anne is not rough. Anne is young. Fiona is cold. Fiona is round. Fiona is young. Harry is cold. Harry is furry. Harry is kind. Harry is not quiet. Harry is rough. Harry is round. Harry is young. All quiet people are not furry.
Anne is not furry.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3)] Anne is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is not quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Anne is not furry.[(((triple3) -> rule1))]