Anne is cold. Dave is white. Fiona is smart. Gary is nice. If something is white then it is furry. All furry, white things are smart. If Gary is not nice then Gary is not white. If something is smart and not white then it is not kind. All white, smart things are not kind. If something is kind then it is not red.
Dave is kind.
@0: Anne is cold.[(triple1)] Dave is white.[(triple2)] Fiona is smart.[(triple3)] Gary is nice.[(triple4)] @1: Dave is furry.[(((triple2) -> rule1))] @2: Dave is smart.[(((((triple2) -> rule1) triple2) -> rule2))] @3: Dave is not kind.[(((triple2 ((((triple2) -> rule1) triple2) -> rule2)) -> rule5))]