Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is rough. Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is rough. All green, red people are quiet.
Charlie is not quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Charlie is kind.[(triple9)] Charlie is not cold.[(triple7)] Charlie is not green.[(triple8)] Charlie is not red.[(triple11)] Charlie is quiet.[(triple10)] Charlie is rough.[(triple12)] @1: Anne is quiet.[(((triple3 triple5) -> rule1))]