Charlie is quiet. Fiona is smart. Harry is kind. All big, smart people are quiet. Kind people are big. If Harry is big then Harry is smart.
Harry is big.
@0: Charlie is quiet.[(triple1)] Fiona is smart.[(triple2)] Harry is kind.[(triple3)] @1: Harry is big.[(((triple3) -> rule2))] @2: Harry is smart.[(((((triple3) -> rule2)) -> rule3))] @3: Harry is quiet.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule3)) -> rule1))]