Anne is furry. Charlie is cold. Erin is white. Gary is quiet. Furry, red things are white. All red, furry things are white. Big things are red. All cold, round things are big. If something is furry and round then it is quiet. If something is furry and round then it is cold. All white, big things are round. If something is cold then it is white.
Erin is white.
@0: Anne is furry.[(triple1)] Charlie is cold.[(triple2)] Erin is white.[(triple3)] Gary is quiet.[(triple4)] @1: Charlie is white.[(((triple2) -> rule8))]