Bob is cold. Bob is furry. Bob is round. Bob is young. Erin is nice. Erin is round. Erin is young. Harry is not cold. Harry is green. Harry is nice. Harry is round. Harry is young. Green, smart people are cold. All cold people are smart.
Erin is not smart.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is not cold.[(triple8)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Bob is smart.[(((triple1) -> rule2))]