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.
Fiona is not 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))]