Anne is cold. Anne is nice. Anne is quiet. Anne is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is white. Harry is quiet. Harry is white. All green people are quiet.
Charlie is blue.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is white.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Charlie is quiet.[(((triple6) -> rule1))]