Bob is green. Erin is green. Fiona is furry. Harry is rough. All green things are furry. Green, furry things are cold. Cold, kind things are white. If Erin is smart then Erin is green. Smart things are kind. White things are green. If Bob is cold then Bob is smart. Furry, kind things are rough.
Erin is white.
@0: Bob is green.[(triple1)] Erin is green.[(triple2)] Fiona is furry.[(triple3)] Harry is rough.[(triple4)] @1: Bob is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple2) -> rule1))] @2: Bob is cold.[(((triple1 ((triple1) -> rule1)) -> rule2))] Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Bob is smart.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7))] @4: Bob is kind.[(((((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7)) -> rule5))] @5: Bob is rough.[(((((triple1) -> rule1) ((((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7)) -> rule5)) -> rule8))] Bob is white.[(((((triple1 ((triple1) -> rule1)) -> rule2) ((((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7)) -> rule5)) -> rule3))]