Bob is furry. Bob is nice. Bob is red. Dave is round. Harry is not kind. Harry is nice. Harry is red. Red, furry people are smart. If Harry is red then Harry is furry. If someone is kind and not furry then they are round.
Dave is red.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Dave is round.[(triple4)] Harry is nice.[(triple6)] Harry is not kind.[(triple5)] Harry is red.[(triple7)] @1: Bob is smart.[(((triple3 triple1) -> rule1))] Harry is furry.[(((triple7) -> rule2))] @2: Harry is smart.[(((triple7 ((triple7) -> rule2)) -> rule1))]