Bob is quiet. Dave is round. Harry is blue. White people are not round. All blue, furry people are quiet. All quiet people are blue. All furry people are not blue. All blue people are white. If someone is red and not furry then they are white. Red, furry people are not white. If someone is quiet and not white then they are not smart.
Harry is not smart.
@0: Bob is quiet.[(triple1)] Dave is round.[(triple2)] Harry is blue.[(triple3)] @1: Bob is blue.[(((triple1) -> rule3))] Harry is white.[(((triple3) -> rule5))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule5))] Harry is not round.[(((((triple3) -> rule5)) -> rule1))] @3: Bob is not round.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]