Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is young. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. Blue things are nice.
Gary is not kind.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple1) -> rule1))] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((triple8) -> rule1))] Gary is red.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14)]