Anne is quiet. Anne is red. Anne is round. Harry is cold. Harry is furry. Harry is kind. Harry is round. If someone is cold then they are young.
Harry is not cold.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Harry is young.[(((triple4) -> rule1))]