Dave is furry. Erin is cold. Fiona is smart. If Erin is cold and Erin is blue then Erin is white. All cold, big people are furry. Cold people are quiet. White people are big. If someone is smart and furry then they are big. All white, quiet people are cold.
Fiona is not furry.
@0: Dave is furry.[(triple1)] Erin is cold.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule3))]