Anne is smart. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Fiona is big. Fiona is cold. Fiona is not rough. Fiona is white. Gary is big. Gary is green. Gary is not rough. Gary is not white. All rough, big people are not green. If someone is cold and not big then they are white.
Anne is not smart.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is not rough.[(triple11)] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is not rough.[(triple15)] Gary is not white.[(triple16)] @1: Charlie is not green.[(((triple6 triple3) -> rule1))]