Dave is smart. Harry is not big. All smart people are cold. If Dave is cold and Dave is blue then Dave is nice. If someone is quiet and not furry then they are smart.
Dave is not smart.
@0: Dave is smart.[(triple1)] Harry is not big.[(triple2)] @1: Dave is cold.[(((triple1) -> rule1))]