Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is smart. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Gary is cold. Gary is white. Kind people are furry.
Charlie is kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Gary is cold.[(triple11)] Gary is white.[(triple12)] @1: Charlie is furry.[(((triple7) -> rule1))]