Anne is big. Anne is cold. Anne is not kind. Anne is rough. Anne is white. Charlie is cold. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is white. Charlie is not young. Gary is not kind. Gary is rough. Gary is white. Gary is not young. All kind people are not big. Nice, big people are kind. All nice people are not kind.
Gary is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not kind.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is not nice.[(triple8)] Charlie is not young.[(triple11)] Charlie is rough.[(triple9)] Charlie is white.[(triple10)] Gary is not kind.[(triple12)] Gary is not young.[(triple15)] Gary is rough.[(triple13)] Gary is white.[(triple14)] @1: Charlie is not big.[(((triple7) -> rule1))]