Bob is smart. Bob is white. Dave is cold. Dave is furry. Dave is nice. Dave is round. Dave is white. Harry is nice. Harry is round. Harry is not smart. All cold people are green.
Harry is furry.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Harry is nice.[(triple8)] Harry is not smart.[(triple10)] Harry is round.[(triple9)] @1: Dave is green.[(((triple3) -> rule1))]