Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Gary is big. Gary is blue. Gary is cold. Gary is not kind. Gary is nice. All cold people are furry.
Gary is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple3) -> rule1))] Anne is green.[(triple5)] Anne is kind.[(triple6)] Anne is nice.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple12)] Gary is not kind.[(triple11)] @1: Gary is furry.[(((triple10) -> rule1))]