Anne is furry. Anne is red. Anne is smart. Charlie is cold. Charlie is red. Charlie is smart. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Red, furry people are smart. Furry, cold people are kind. Red, smart people are green.
Anne is cold.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3 OR ((triple2 triple1) -> rule1))] Charlie is cold.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple8 triple7) -> rule2))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Anne is green.[(((triple2 triple3) -> rule3) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule3))] Charlie is green.[(((triple5 triple6) -> rule3))] Harry is smart.[(((triple16 triple13) -> rule1))] @2: Harry is green.[(((triple16 ((triple16 triple13) -> rule1)) -> rule3))]