Dave is blue. Dave is green. Dave is kind. Erin is cold. Erin is green. Erin is kind. Erin is smart. If someone is green then they are cold. All furry, cold people are white. All furry people are smart. Cold people are white. If Erin is green then Erin is blue. Green, furry people are smart.
Erin is kind.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule1))] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] @1: Dave is cold.[(((triple2) -> rule1))] Erin is blue.[(((triple5) -> rule5))] Erin is white.[(((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] @2: Dave is white.[(((((triple2) -> rule1)) -> rule4))]