Fiona is kind. Harry is big. Harry is nice. Quiet people are nice. All big people are quiet.
Fiona is kind.
@0: Fiona is kind.[(triple1)] Harry is big.[(triple2)] Harry is nice.[(triple3 OR ((((triple2) -> rule2)) -> rule1))] @1: Harry is quiet.[(((triple2) -> rule2))]