Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is not young. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Gary is cold. Gary is not kind. Gary is rough. Gary is smart. Gary is young. All rough things are quiet. All smart things are furry. If something is cold and not kind then it is rough.
Gary is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not young.[(triple5)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is rough.[(triple4)] Charlie is furry.[(triple7 OR ((triple10) -> rule2))] Charlie is kind.[(triple8)] Charlie is not cold.[(triple6)] Charlie is quiet.[(triple9)] Charlie is smart.[(triple10)] Gary is cold.[(triple11)] Gary is not kind.[(triple12)] Gary is rough.[(triple13 OR ((triple11 triple12) -> rule3))] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Gary is furry.[(((triple14) -> rule2))] Gary is quiet.[(((triple13) -> rule1) OR ((((triple11 triple12) -> rule3)) -> rule1))]