Bob is green. Erin is not quiet. Gary is nice. Harry is nice. If Bob is round and Bob is not red then Bob is rough. If Bob is round and Bob is not rough then Bob is green.
Bob is not rough.
@0: Bob is green.[(triple1)] Erin is not quiet.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)]