Erin is cold. Erin is kind. Erin is quiet. Erin is smart. Erin is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is white. Cold, furry things are blue. If something is white then it is furry.
Erin is furry.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6 OR ((triple7 ((triple10) -> rule2)) -> rule1))] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] @1: Erin is furry.[(((triple5) -> rule2))] Fiona is furry.[(((triple10) -> rule2))] @2: Erin is blue.[(((triple1 ((triple5) -> rule2)) -> rule1))]