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