Bob is big. Fiona is quiet. Harry is kind. If something is big then it is quiet. Kind things are big.
Harry is round.
@0: Bob is big.[(triple1)] Fiona is quiet.[(triple2)] Harry is kind.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule1))] Harry is big.[(((triple3) -> rule2))] @2: Harry is quiet.[(((((triple3) -> rule2)) -> rule1))]