Bob is quiet. Harry is young. Blue, quiet people are not kind. Furry people are big. All quiet, blue people are not young. All blue people are young. Big, kind people are blue. All quiet, furry people are not blue. Young people are round. All round, young people are furry.
Harry is not round.
@0: Bob is quiet.[(triple1)] Harry is young.[(triple2)] @1: Harry is round.[(((triple2) -> rule7))] @2: Harry is furry.[(((((triple2) -> rule7) triple2) -> rule8))] @3: Harry is big.[(((((((triple2) -> rule7) triple2) -> rule8)) -> rule2))]