Dave is white. Erin is red. Harry is not white. If Dave is white then Dave is smart. All smart people are cold. If someone is cold then they are red. If someone is white and not furry then they are not nice. All cold, red people are not kind. If someone is cold and not nice then they are kind.
Dave is not white.
@0: Dave is white.[(triple1)] Erin is red.[(triple2)] Harry is not white.[(triple3)] @1: Dave is smart.[(((triple1) -> rule1))] @2: Dave is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))] @4: Dave is not kind.[(((((((triple1) -> rule1)) -> rule2) ((((((triple1) -> rule1)) -> rule2)) -> rule3)) -> rule5))]