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 not smart.
@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))]