Bob is smart. Dave is smart. Round people are nice. Smart people are blue. Blue, nice people are red. If Bob is nice and Bob is not furry then Bob is red. If Bob is not round and Bob is not smart then Bob is not nice. If Bob is kind then Bob is not nice.
Dave is not red.
@0: Bob is smart.[(triple1)] Dave is smart.[(triple2)] @1: Bob is blue.[(((triple1) -> rule2))] Dave is blue.[(((triple2) -> rule2))]