Bob is red. Gary is quiet. Harry is quiet. All smart, green people are red. If someone is green and not round then they are not quiet.
Gary is not red.
@0: Bob is red.[(triple1)] Gary is quiet.[(triple2)] Harry is quiet.[(triple3)]