Bob is quiet. Charlie is round. Fiona is young. Harry is big. If Fiona is young then Fiona is quiet. Quiet people are round.
Bob is big.
@0: Bob is quiet.[(triple1)] Charlie is round.[(triple2)] Fiona is young.[(triple3)] Harry is big.[(triple4)] @1: Bob is round.[(((triple1) -> rule2))] Fiona is quiet.[(((triple3) -> rule1))] @2: Fiona is round.[(((((triple3) -> rule1)) -> rule2))]