Anne is cold. Anne is kind. Charlie is furry. Charlie is kind. Charlie is red. Gary is kind. Harry is red. Red things are quiet.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Gary is kind.[(triple6)] Harry is red.[(triple7)] @1: Charlie is quiet.[(((triple5) -> rule1))] Harry is quiet.[(((triple7) -> rule1))]