Anne is blue. Anne is cold. Bob is blue. Bob is smart. Gary is not blue. Gary is kind. Harry is blue. All smart people are kind. If someone is smart then they are kind. If someone is blue and smart then they are kind. Nice people are red. If someone is kind and cold then they are furry. All furry, kind people are smart. Smart, furry people are nice. If Gary is kind and Gary is not blue then Gary is cold.
Gary is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is blue.[(triple3)] Bob is smart.[(triple4)] Gary is kind.[(triple6)] Gary is not blue.[(triple5)] Harry is blue.[(triple7)] @1: Bob is kind.[(((triple4) -> rule1) OR ((triple4) -> rule2) OR ((triple3 triple4) -> rule3))] Gary is cold.[(((triple6 triple5) -> rule8))] @2: Gary is furry.[(((triple6 ((triple6 triple5) -> rule8)) -> rule5))] @3: Gary is smart.[(((((triple6 ((triple6 triple5) -> rule8)) -> rule5) triple6) -> rule6))] @4: Gary is nice.[(((((((triple6 ((triple6 triple5) -> rule8)) -> rule5) triple6) -> rule6) ((triple6 ((triple6 triple5) -> rule8)) -> rule5)) -> rule7))] @5: Gary is red.[(((((((((triple6 ((triple6 triple5) -> rule8)) -> rule5) triple6) -> rule6) ((triple6 ((triple6 triple5) -> rule8)) -> rule5)) -> rule7)) -> rule4))]