Anne is not big. Anne is furry. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is white. Erin is big. Erin is cold. Erin is not kind. Harry is green. Harry is white. Furry things are cold.
Charlie is green.
@0: Anne is furry.[(triple2)] Anne is not big.[(triple1)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Charlie is white.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is not kind.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)] @1: Anne is cold.[(((triple2) -> rule1))]