Charlie is not cold. Charlie is not green. Charlie is not nice. Dave is nice. Dave is not rough. Dave is white. Erin is cold. Erin is green. Erin is not rough. Erin is young. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is white. If someone is rough and young then they are not green. All young, cold people are white.
Erin is not nice.
@0: Charlie is not cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is not nice.[(triple3)] Dave is nice.[(triple4)] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is not rough.[(triple9)] Erin is young.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Erin is white.[(((triple10 triple7) -> rule2))]