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