Charlie is nice. Charlie is not rough. Charlie is not white. Charlie is young. Erin is cold. Erin is not rough. Erin is white. Erin is young. Gary is cold. Gary is nice. Gary is not smart. Gary is not white. All young people are not quiet. Quiet people are young. Quiet, nice people are not young. If someone is cold and quiet then they are not rough. Quiet, smart people are cold. Rough, smart people are not cold.
Charlie is not young.
@0: Charlie is nice.[(triple1)] Charlie is not rough.[(triple2)] Charlie is not white.[(triple3)] Charlie is young.[(triple4)] Erin is cold.[(triple5)] Erin is not rough.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Gary is cold.[(triple9)] Gary is nice.[(triple10)] Gary is not smart.[(triple11)] Gary is not white.[(triple12)] @1: Charlie is not quiet.[(((triple4) -> rule1))] Erin is not quiet.[(((triple8) -> rule1))]