Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is not white. Anne is young. Gary is cold. Gary is furry. Gary is green. Gary is not kind. Gary is not rough. Gary is not white. Gary is not young. If something is white then it is rough. All white things are rough. If something is rough and young then it is green. If something is cold then it is green. All green, white things are young. Young things are furry. All kind, white things are cold. If Anne is not rough then Anne is kind.
Gary is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple7) -> rule6))] Anne is green.[(triple3 OR ((triple1) -> rule4) OR ((triple5 triple7) -> rule3))] Anne is kind.[(triple4)] Anne is not white.[(triple6)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple8) -> rule4))] Gary is not kind.[(triple11)] Gary is not rough.[(triple12)] Gary is not white.[(triple13)] Gary is not young.[(triple14)]