Erin is cold. Erin is white. Fiona is cold. If Erin is blue then Erin is red. If something is young and not red then it is quiet. All white, young things are not cold. If Fiona is not quiet then Fiona is not furry. If Fiona is furry and Fiona is blue then Fiona is white. Cold things are furry. All young, cold things are furry. All red things are furry.
Erin is not white.
@0: Erin is cold.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] @1: Erin is furry.[(((triple1) -> rule6))] Fiona is furry.[(((triple3) -> rule6))]