Dave is not smart. Erin is cold. Fiona is cold. Gary is not blue. If Gary is blue and Gary is not nice then Gary is cold. If Fiona is not cold and Fiona is not green then Fiona is furry. If Erin is cold and Erin is not nice then Erin is red. All cold things are furry. If Erin is not green then Erin is not blue. If Erin is not blue then Erin is smart.
Dave is nice.
@0: Dave is not smart.[(triple1)] Erin is cold.[(triple2)] Fiona is cold.[(triple3)] Gary is not blue.[(triple4)] @1: Erin is furry.[(((triple2) -> rule4))] Fiona is furry.[(((triple3) -> rule4))]