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