Dave is rough. Erin is not rough. Gary is quiet. Big people are kind. Kind people are not round. Big people are not rough. If someone is green and not quiet then they are rough. Rough, round people are blue. If Dave is blue then Dave is round. If Gary is not quiet then Gary is not rough. If someone is rough then they are green.
Dave is big.
@0: Dave is rough.[(triple1)] Erin is not rough.[(triple2)] Gary is quiet.[(triple3)] @1: Dave is green.[(((triple1) -> rule8))]