Anne is white. Dave is red. Kind things are nice. Red things are nice. All kind things are smart. If something is furry then it is white. All nice things are red. If something is smart and nice then it is furry.
Anne is not red.
@0: Anne is white.[(triple1)] Dave is red.[(triple2)] @1: Dave is nice.[(((triple2) -> rule2))]