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