Anne is furry. Bob is smart. Gary is kind. Harry is cold. All furry people are smart. If someone is cold then they are kind. If someone is kind and not furry then they are cold. If Harry is nice then Harry is round. If Anne is kind then Anne is not cold. Nice, furry people are round. If Bob is blue and Bob is kind then Bob is round. If someone is nice and not kind then they are not blue.
Bob is blue.
@0: Anne is furry.[(triple1)] Bob is smart.[(triple2)] Gary is kind.[(triple3)] Harry is cold.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is kind.[(((triple4) -> rule2))]