Bob is green. Bob is nice. Bob is quiet. Bob is young. Charlie is nice. Charlie is smart. Erin is green. Erin is quiet. Erin is rough. Erin is young. Gary is big. Gary is green. Gary is nice. Gary is smart. Gary is young. Nice people are young.
Erin is not green.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4 OR ((triple2) -> rule1))] Charlie is nice.[(triple5)] Charlie is smart.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] Gary is big.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple13) -> rule1))] @1: Charlie is young.[(((triple5) -> rule1))]