Anne is cold. Anne is not furry. Anne is not kind. Anne is rough. Anne is smart. Anne is not white. Anne is young. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is smart. Gary is not white. Gary is young. If someone is white then they are not rough. If Gary is kind then Gary is not white. All kind, smart people are furry.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is not furry.[(triple2)] Anne is not kind.[(triple3)] Anne is not white.[(triple6)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple10 triple12) -> rule3))] Gary is kind.[(triple10)] Gary is not white.[(triple13 OR ((triple10) -> rule2))] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple14)]