Bob is smart. Dave is not blue. Erin is white. Gary is nice. If something is round and furry then it is not white. If something is furry and smart then it is not white. All round things are blue. If Dave is white and Dave is smart then Dave is not blue. All round, blue things are furry. If Erin is nice and Erin is white then Erin is smart.
Bob is not furry.
@0: Bob is smart.[(triple1)] Dave is not blue.[(triple2)] Erin is white.[(triple3)] Gary is nice.[(triple4)]