Anne is blue. Anne is not cold. Anne is kind. Anne is red. Anne is rough. Gary is blue. Gary is not cold. Gary is red. Gary is smart. Gary is young. Smart things are young. If something is kind and not blue then it is young. All red things are kind. If something is cold and not red then it is smart. If something is cold and not young then it is rough. If something is red and not kind then it is rough.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3 OR ((triple4) -> rule3))] Anne is not cold.[(triple2)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Gary is blue.[(triple6)] Gary is not cold.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple9) -> rule1))] @1: Gary is kind.[(((triple8) -> rule3))]