Bob is smart. Dave is smart. Harry is not green. If someone is green and not white then they are cold. Young, furry people are not cold. If Harry is white then Harry is not young. If someone is smart then they are round. White people are round. If Harry is smart and Harry is white then Harry is cold. All cold, white people are green. White people are furry.
Dave is round.
@0: Bob is smart.[(triple1)] Dave is smart.[(triple2)] Harry is not green.[(triple3)] @1: Bob is round.[(((triple1) -> rule4))] Dave is round.[(((triple2) -> rule4))]