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.
Erin is quiet.
@0: Bob is green.[(triple1)] Erin is not quiet.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)]