Bob is cold. Dave is kind. Erin is nice. Harry is young. If someone is blue and kind then they are smart. If Erin is nice then Erin is smart. If Erin is kind and Erin is furry then Erin is young. If Harry is cold then Harry is blue. Cold people are kind. If someone is nice and cold then they are kind. All smart, cold people are young. All cold people are blue.
Erin is smart.
@0: Bob is cold.[(triple1)] Dave is kind.[(triple2)] Erin is nice.[(triple3)] Harry is young.[(triple4)] @1: Bob is blue.[(((triple1) -> rule8))] Bob is kind.[(((triple1) -> rule5))] Erin is smart.[(((triple3) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule8) ((triple1) -> rule5)) -> rule1))] @3: Bob is young.[(((((((triple1) -> rule8) ((triple1) -> rule5)) -> rule1) triple1) -> rule7))]