Bob is smart. Fiona is furry. Harry is green. All nice people are quiet. If someone is smart then they are nice. Quiet, smart people are nice.
Harry is quiet.
@0: Bob is smart.[(triple1)] Fiona is furry.[(triple2)] Harry is green.[(triple3)] @1: Bob is nice.[(((triple1) -> rule2))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule1))]