Dave is kind. Erin is kind. Harry is nice. Cold, red people are kind. If someone is big then they are furry. Rough, red people are kind. All red people are rough. Kind people are rough. If someone is furry and kind then they are nice. Rough, furry people are cold. Nice people are big.
Harry is nice.
@0: Dave is kind.[(triple1)] Erin is kind.[(triple2)] Harry is nice.[(triple3)] @1: Dave is rough.[(((triple1) -> rule5))] Erin is rough.[(((triple2) -> rule5))] Harry is big.[(((triple3) -> rule8))] @2: Harry is furry.[(((((triple3) -> rule8)) -> rule2))]