Bob is blue. Bob is quiet. Dave is blue. Erin is blue. Erin is green. Fiona is cold. Fiona is furry. All furry, green things are blue. If Erin is blue then Erin is green. If something is furry then it is green. If something is furry and white then it is quiet. All white, furry things are kind. All furry, white things are blue. All green things are cold. If Erin is white then Erin is cold.
Erin is white.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Dave is blue.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5 OR ((triple4) -> rule2))] Fiona is cold.[(triple6 OR ((((triple7) -> rule3)) -> rule7))] Fiona is furry.[(triple7)] @1: Erin is cold.[(((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Fiona is green.[(((triple7) -> rule3))] @2: Fiona is blue.[(((triple7 ((triple7) -> rule3)) -> rule1))]