Anne is furry. Fiona is cold. Harry is green. If something is cold then it is green. All cold, green things are furry. If Harry is kind and Harry is smart then Harry is furry. Green things are big. All furry things are cold. If something is smart and red then it is green. Cold, furry things are red. Furry, cold things are kind.
Harry is not red.
@0: Anne is furry.[(triple1)] Fiona is cold.[(triple2)] Harry is green.[(triple3)] @1: Anne is cold.[(((triple1) -> rule5))] Fiona is green.[(((triple2) -> rule1))] Harry is big.[(((triple3) -> rule4))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule1))] Anne is kind.[(((triple1 ((triple1) -> rule5)) -> rule8))] Anne is red.[(((((triple1) -> rule5) triple1) -> rule7))] Fiona is big.[(((((triple2) -> rule1)) -> rule4))] Fiona is furry.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Anne is big.[(((((((triple1) -> rule5)) -> rule1)) -> rule4))] Fiona is kind.[(((((triple2 ((triple2) -> rule1)) -> rule2) triple2) -> rule8))] Fiona is red.[(((triple2 ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule7))]