Charlie is not big. Charlie is not blue. Charlie is not green. Charlie is not kind. Charlie is not quiet. Charlie is not rough. Charlie is white. Dave is blue. Dave is white. Erin is big. Erin is green. Erin is rough. Erin is white. Gary is kind. Gary is quiet. Gary is rough. If someone is rough then they are white.
Erin is not green.
@0: Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is not rough.[(triple6)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is white.[(triple9)] Erin is big.[(triple10)] Erin is green.[(triple11)] Erin is rough.[(triple12)] Erin is white.[(triple13 OR ((triple12) -> rule1))] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Gary is white.[(((triple16) -> rule1))]