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