Bob is not smart. Dave is cold. Fiona is furry. Gary is furry. If Fiona is kind then Fiona is red. If Fiona is smart then Fiona is red. If Fiona is not blue then Fiona is cold. If Bob is blue then Bob is not smart. If Fiona is cold and Fiona is not blue then Fiona is smart. If someone is smart then they are not cold.
Dave is cold.
@0: Bob is not smart.[(triple1)] Dave is cold.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)]