Bob is big. Bob is cold. Bob is rough. White people are big. All white, furry people are nice. All smart people are rough. All smart, furry people are nice. Furry people are cold. Cold, rough people are furry.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] @1: Bob is furry.[(((triple2 triple3) -> rule6))]