Anne is white. Bob is furry. Dave is furry. Harry is kind. If something is kind then it is nice. If something is kind and nice then it is blue. All blue, cold things are white. Furry, cold things are white. If Bob is blue and Bob is cold then Bob is kind. Green things are kind.
Harry is not kind.
@0: Anne is white.[(triple1)] Bob is furry.[(triple2)] Dave is furry.[(triple3)] Harry is kind.[(triple4)] @1: Harry is nice.[(((triple4) -> rule1))] @2: Harry is blue.[(((triple4 ((triple4) -> rule1)) -> rule2))]